]. G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.11, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075426

M. Brandt and F. Henglein, Coinductive axiomatization of recursive type equality and subtyping, Fundamenta Informaticae, vol.33, pp.309-338, 1998.
DOI : 10.1007/3-540-62688-3_29

S. Carpineti and C. Laneve, A Basic Contract Language for Web Services, ESOP, pp.197-213, 2006.
DOI : 10.1145/357766.351242

G. Castagna and A. Frisch, A gentle introduction to semantic subtyping, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.30-34, 2005.
DOI : 10.1145/1069774.1069793

URL : https://hal.archives-ouvertes.fr/hal-00152690

M. Hennessy and J. Riely, Type-safe execution of mobile agents in anonymous networks, SIP, volume 1603 of LNCS, pp.95-115, 1999.

D. Kourtesis and I. Paraskakis, Semantic Enterprise Application Integration for Business Processes: Service-Oriented Frameworks, chapter IV, Business Science Reference, 2009.

L. Lamport and N. Lynch, Distributed Computing: Models and Methods, pp.1157-1199, 1990.
DOI : 10.1016/B978-0-444-88074-1.50023-8

T. Y. Lee-lee and D. W. Cheung, Formal Models and Algorithms for XML Data Interoperability, Journal of Computing Science and Engineering, vol.4, issue.4, pp.313-349, 2010.
DOI : 10.5626/JCSE.2010.4.4.313

R. Lucchi and M. Mazzara, A pi-calculus based semantics for WS-BPEL, Journal of Logic and Algebraic Programming, 2005.
DOI : 10.1016/j.jlap.2006.05.007

A. J. Menezes, S. A. Vanstone, and P. C. Van-oorschot, Handbook of Applied Cryptography, 1996.
DOI : 10.1201/9781439821916

K. Q. Pu, Service Description and Analysis From a Type Theoretic Approach, 2007 IEEE 23rd International Conference on Data Engineering Workshop, pp.379-386, 2007.
DOI : 10.1109/ICDEW.2007.4401019

T. Sans and I. Cervesato, Qwesst for type-safe web programming, 2010.

J. Costa, S. , and L. Caires, A basic model of typed components, Proc. of ECOOP 2000, pp.108-128, 2000.

H. T. Vieira, L. Caires, J. , and C. Seco, The Conversation Calculus: A Model of Service-Oriented Computation, Proc. of ESOP'08 Inria RESEARCH CENTRE RENNES ? BRETAGNE ATLANTIQUE Campus universitaire de Beaulieu 35042 Rennes Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN, pp.249-6399, 2008.
DOI : 10.1007/978-3-540-78739-6_21