Paolo Besana, Adam Barker. An Executable Calculus for Service Choreography. In Robert Meersman, Tharam S. Dillon, Pilar Herrero, editors, On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I. Volume 5870 of Lecture Notes in Computer Science, pages 373-380, Springer, 2009. [doi]
Abstract is missing.