@incollection{eprints2296,
       booktitle = {Programming Languages and Systems},
          author = {Hugo  Torres Vieira and Luis Caires and Jo{\~a}o C. Seco},
       publisher = {Springer},
            note = {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},
            year = {2008},
           title = {The conversation calculus: a model of service-oriented computation},
          series = {Lecture notes in computer science},
           pages = {269--283},
          number = {4960},
             url = {http://eprints.imtlucca.it/2296/},
        abstract = {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 {\ensuremath{\pi}}-calculus, illustrate its expressiveness by means of many examples, and study its basic behavioral theory; in particular, we establish that bisimilarity is a congruence}
}