Precise subtyping for synchronous multiparty sessions

by Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
Published 2016-02-01

A Typed Model for Dynamic Authorizations

by Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira
Published 2016-02-01

Dynamic Role Authorization in Multiparty Conversations

by Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira
Published 2014-08-01