@Inproceedings{EPTCS2.6, author = {Guidi, Claudio and Montesi, Fabrizio}, year = {2009}, title = {Reasoning About a Service-oriented Programming Paradigm}, editor = {ter Beek, Maurice}, booktitle = {{\rm Proceedings Fourth European Young Researchers Workshop on} Service Oriented Computing, {\rm Pisa, Italy, 17-19th June 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {2}, publisher = {Open Publishing Association}, pages = {67-81}, doi = {10.4204/EPTCS.2.6}, }