Baltazar, Pedro and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo
Typing dynamic roles in multiparty interaction.
In: INForum - Simpósio de Informática , 8th-9th September 2011, Coimbra, Portugal
pp. 1-12.
(Unpublished)
(2011)
Abstract
We present a type-based analysis for role-based multiparty
interaction. Novel to our approach are the notions that a role specified in a protocol may be carried out by several parties, and that one party may assume di%erent roles at di%erent stages of the protocol. We build on Conversation Types by adding roles to protocol specifications. Systems
are modeled in ⇤-calculus extended with labeled communication and role annotations. The main result shows that well-typed systems follow the role-based protocols prescribed by the types, addressing systems where
roles have dynamic distributed implementations.
Actions (login required)
 |
Edit Item |
