]. S. Abramsky, The lazy lambda calculus, Research Topics in Functional Programming, pp.65-116, 1990.

L. Aceto, A. Ingolfsdottir, J. Srba, A. Banerji, C. Bartolini et al., The algoritmics of bisimilarity Advanced Topics in Bisimulation and Coinduction, Cambridge Tracts in Theoretical Computer Science, vol.525, pp.100-172, 2002.

V. Benzaken, G. Castagna, and A. Frisch, CDuce: an XML-centric general-purpose language, SIGPLAN Notices, vol.386, issue.9, pp.51-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

D. Beringer, H. Kuno, M. Lemon, and G. Bernardi, Using wscl in a uddi Registry 1.0, 2001. uddi Working Draft Best Practices Document, Behavioural Equivalences for Web Services, 2013.

G. Bernardi and M. Hennessy, Modelling session types using contracts, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1941-1946

M. Bravetti, I. Lanese, and G. Zavattaro, Contract-Driven Implementation of Choreographies, Trustworthy Global Computing, pp.1-18, 2009.
DOI : 10.1016/j.ic.2006.06.002

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Pre-proceedings of 6th Symposium on Software Composition, 2007.
DOI : 10.1007/978-3-540-77351-1_4

M. Bravetti and G. Zavattaro, A foundational theory of contracts for multi-party service composition. Fundam, Inform, vol.8912, issue.4, pp.451-478, 2008.

M. Bravetti and G. Zavattaro, Contract-Based Discovery and Composition of Web Services, SFM'09, pp.261-295, 2009.
DOI : 10.1007/978-3-642-01918-0_7

M. Bravetti and G. Zavattaro, A theory of contracts for strong service compliance A theory of communicating sequential processes, Mathematical Structures in Computer Science J. ACM, vol.1915, issue.53, pp.601-638, 1984.

M. Bugliesi, D. Macedonio, L. Pino, S. Rossi, N. Busi et al., Compliance preorders for web services On the expressive power of recursion, replication and iteration in process calculi, WS-FM, pp.76-911191, 2009.

M. C. Honda, N. Yoshida, S. Carpineti, G. Castagna, C. Laneve et al., Structured communication-centered programming for web services A formal account of contracts for Web Services Types as models: model checking message-passing programs, Theoretical Computer Science Proceedings of 16th European Symposium on Programming WS-FM, 3rd Int. Workshop on Web Services and Formal Methods, number 4184 in LNCS20] S. Carpineti, C. Laneve, and L. Padovani. PiDuce ? A Project for Experimenting Web Services Technologies21] G. Castagna, N. Gesbert, and L. Padovani. A Theory of Contracts for Web Services, pp.35-55, 2002.

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web Services Description Language ( wsdl) 1.1, 2001.

R. Cleaveland, J. Parrow, B. Steffen25, ]. Nicola, M. Hennessy et al., The concurrency workbench, Proceedings of TAPSOFT'87, pp.36-7283, 1984.
DOI : 10.1007/3-540-52148-8_3

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, pp.273-284, 2008.

H. Hosoya, B. C. Pierce, N. Kavantzas, D. Burdett, G. Ritzinger et al., XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003.
DOI : 10.1145/767193.767195

C. Laneve and L. Padovani, The must preorder revisited ? an algebraic theory for web services contracts, CONCUR'07, pp.212-225, 2007.

C. Laneve and L. Padovani, The Pairing of Contracts and Session Types, Concurrency, Graphs and Models, pp.681-700, 2008.
DOI : 10.1007/978-3-540-68679-8_42

C. Laneve and L. Padovani, An Algebraic Theory for Web Service Contracts, Proceedings of 10th International Conference on integrated Formal Methods, volume LNCS 794035] R. Milner. A Calculus of Communicating Systems, pp.301-315, 1982.
URL : https://hal.archives-ouvertes.fr/hal-01229401

H. R. Nielson, F. Nielson, S. Parastatidis, and J. Webber, Contract-Directed Synthesis of Simple Orchestrators [39] L. Padovani. Contract-Based Discovery of Web Services Modulo Simple Orchestrators [40] L. Padovani. Fair Subtyping for Multi-Party Session Types [41] L. Padovani. Fair Subtyping for Open Session Types, Proceedings of POPL'94 Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), volume LNCS 520138] L. Padovani. Contract-Based Discovery and Adaptation of Web Services, volume LNCS 5569 Proceedings of the 13th Conference on Coordination Models and Languages, volume LNCS 6721 Proceedings of 40th International Colloquium on Automata, Languages, and Programming, Part II, volume LNCS 7966ssdl.org. [43] A. M. Pitts and I. D. B. Stark. Observable properties of higher order functions that dynamically create local names, or what's new? In 18th International Symposium on Mathematical Foundations of Computer Science, pp.84-97, 1993.