<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Typing dynamic roles in multiparty interaction"^^ . "We present a type-based analysis for role-based multiparty\r\ninteraction. 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\r\nare 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\r\nroles have dynamic distributed implementations."^^ . "2011-09" . . . . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Pedro"^^ . "Baltazar"^^ . "Pedro Baltazar"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . . . "INForum - Simpósio de Informática "^^ . . . . . "Coimbra, Portugal"^^ . . . . . . "Typing dynamic roles in multiparty interaction (PDF)"^^ . . . "Inforum11_TorresVieira.pdf"^^ . . . "Typing dynamic roles in multiparty interaction (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Typing dynamic roles in multiparty interaction (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Typing dynamic roles in multiparty interaction (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Typing dynamic roles in multiparty interaction (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2317 \n\nTyping dynamic roles in multiparty interaction\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .