@unpublished{eprints2317,
           title = {Typing dynamic roles in multiparty interaction},
       booktitle = {INForum - Simp{\'o}sio de Inform{\'a}tica },
            year = {2011},
           month = {September},
           pages = {1--12},
          author = {Pedro Baltazar and Vasco Thudichum Vasconcelos and Hugo  Torres Vieira},
        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.},
             url = {http://eprints.imtlucca.it/2317/}
}