F. Abouzaid and J. Mullins, Formal Specification of Correlation in WS Orchestrations Using BP-calculus, Electronic Notes in Theoretical Computer Science, vol.260, pp.3-24, 2010.
DOI : 10.1016/j.entcs.2009.12.029

M. Boreale, SCC: A Service Centered Calculus, Web Services and Formal Methods, Third International Workshop, WS-FM, Proceedings, Lecture Notes in Computer Science, pp.38-57, 2006.
DOI : 10.1007/11841197_3

M. Carbone, K. Honda, and N. Yoshida, A Calculus of Global Interaction based on Session Types, Electronic Notes in Theoretical Computer Science, vol.171, issue.3, pp.127-151, 2007.
DOI : 10.1016/j.entcs.2006.12.041

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.902

R. Lucchi and M. Mazzara, A pi-calculus based semantics for WS-BPEL, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.96-118, 2007.
DOI : 10.1016/j.jlap.2006.05.007

M. Viroli, A core calculus for correlation in orchestration languages, The Journal of Logic and Algebraic Programming, vol.70, issue.1, 2007.
DOI : 10.1016/j.jlap.2006.05.006

J. V. Michael-zur-muehlen, K. D. Nickerson, and . Swenson, Developing web services choreography standards???the case of REST vs. SOAP, Decision Support Systems, vol.40, issue.1, pp.9-29, 2005.
DOI : 10.1016/j.dss.2004.04.008