<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "The conversation calculus: a model of service-oriented computation"^^ . "We present a process-calculus model for expressing and analyzing service-based systems. Our approach addresses central features of the service-oriented computational model such as distribution, process delegation, communication and context sensitiveness, and loose coupling. Distinguishing aspects of our model are the notion of conversation context, the adoption of a context sensitive, message-passing-based communication, and of a simple yet expressive mechanism for handling exceptional behavior. We instantiate our model by extending a fragment of the π-calculus, illustrate its expressiveness by means of many examples, and study its basic behavioral theory; in particular, we establish that bisimilarity is a congruence"^^ . "2008" . . "4960" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "João C."^^ . "Seco"^^ . "João C. Seco"^^ . . . . . . "The conversation calculus: a model of service-oriented computation (PDF)"^^ . . . "TorresVieira_LNCS_4960.pdf"^^ . . . "The conversation calculus: a model of service-oriented computation (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "The conversation calculus: a model of service-oriented computation (Other)"^^ . . . . . . "preview.jpg"^^ . . . "The conversation calculus: a model of service-oriented computation (Other)"^^ . . . . . . "medium.jpg"^^ . . . "The conversation calculus: a model of service-oriented computation (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2296 \n\nThe conversation calculus: a model of service-oriented computation\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .