<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A type system for flexible role assignment in multiparty communicating systems"^^ . "Communication protocols in distributed systems often specify the roles of the parties involved in the communications, namely for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the role-based protocols prescribed by the types, including systems where roles are flexibly assigned to processes."^^ . "2013" . . "8191" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Pedro"^^ . "Baltazar"^^ . "Pedro Baltazar"^^ . . . . . . "A type system for flexible role assignment in multiparty communicating systems (PDF)"^^ . . . "TorresVieira_LNCS_8191.pdf"^^ . . . "A type system for flexible role assignment in multiparty communicating systems (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A type system for flexible role assignment in multiparty communicating systems (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A type system for flexible role assignment in multiparty communicating systems (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A type system for flexible role assignment in multiparty communicating systems (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2319 \n\nA type system for flexible role assignment in multiparty communicating systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .