%0 Book Section
%A Torres Vieira, Hugo 
%A Caires, Luis
%A Seco, João C.
%B Programming Languages and Systems
%D 2008
%F eprints:2296
%I Springer
%N 4960
%P 269-283
%S Lecture notes in computer science
%T The conversation calculus: a model of service-oriented computation
%U http://eprints.imtlucca.it/2296/
%X 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
%Z Proceedings of the 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008