%0 Conference Paper
%A Baltazar, Pedro
%A Vasconcelos, Vasco Thudichum
%A Torres Vieira, Hugo 
%B INForum - Simpósio de Informática 
%C Coimbra, Portugal
%D 2011
%F eprints:2317
%P 1-12
%T Typing dynamic roles in multiparty interaction
%U http://eprints.imtlucca.it/2317/
%X 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.