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]
@inproceedings{BesanaB09,
title = {An Executable Calculus for Service Choreography},
author = {Paolo Besana and Adam Barker},
year = {2009},
doi = {10.1007/978-3-642-05148-7_26},
url = {http://dx.doi.org/10.1007/978-3-642-05148-7_26},
researchr = {https://researchr.org/publication/BesanaB09},
cites = {0},
citedby = {0},
pages = {373-380},
booktitle = {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},
editor = {Robert Meersman and Tharam S. Dillon and Pilar Herrero},
volume = {5870},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05147-0},
}