<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Conversation types"^^ . "We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able to uniformly describe both the internal and the interface behavior of systems, referred respectively as choreographies and contracts in web-services terminology. The notion of conversation builds on the fundamental concept of session, but generalizes it along directions up to now unexplored; in particular, conversation types discipline interactions in conversations while accounting for dynamical join and leave of an unanticipated number of participants. We prove that well-typed systems never violate the prescribed conversation constraints. We also present techniques to ensure progress of systems involving several interleaved conversations, a previously open problem."^^ . "2009" . . "5502" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . . . . . "Conversation types (PDF)"^^ . . . "TorresVieira_LNCS_5502.pdf"^^ . . . "Conversation types (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Conversation types (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Conversation types (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Conversation types (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2298 \n\nConversation types\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .