On Compensation Primitives as Adaptable Processes

by Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
Published 2015-08-01

Session Type Isomorphisms

by Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Published 2014-06-01

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