TY  - UNPB
UR  - http://eprints.imtlucca.it/2317/
TI  - Typing dynamic roles in multiparty interaction
AV  - public
Y1  - 2011/09//
N2  - 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.
SP  - 1
M2  - Coimbra, Portugal
A1  - Baltazar, Pedro
A1  - Vasconcelos, Vasco Thudichum
A1  - Torres Vieira, Hugo 
EP  - 12
T2  - INForum - Simpósio de Informática 
ID  - eprints2317
ER  -