3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 3 cited
Dynamic Role Authorization in Multiparty Conversations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which d…
cs.LO2014★ 3 cited
Session Type Isomorphisms
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the…