The chemical abstract machine, Theoretical Computer Science, vol.96, issue.11, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075426
Coinductive axiomatization of recursive type equality and subtyping, Fundamenta Informaticae, vol.33, pp.309-338, 1998. ,
DOI : 10.1007/3-540-62688-3_29
A Basic Contract Language for Web Services, ESOP, pp.197-213, 2006. ,
DOI : 10.1145/357766.351242
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
Type-safe execution of mobile agents in anonymous networks, SIP, volume 1603 of LNCS, pp.95-115, 1999. ,
Semantic Enterprise Application Integration for Business Processes: Service-Oriented Frameworks, chapter IV, Business Science Reference, 2009. ,
Distributed Computing: Models and Methods, pp.1157-1199, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50023-8
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
A pi-calculus based semantics for WS-BPEL, Journal of Logic and Algebraic Programming, 2005. ,
DOI : 10.1016/j.jlap.2006.05.007
Handbook of Applied Cryptography, 1996. ,
DOI : 10.1201/9781439821916
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
Qwesst for type-safe web programming, 2010. ,
A basic model of typed components, Proc. of ECOOP 2000, pp.108-128, 2000. ,
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