26 citations · 45 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…