S. Abramsky and P. A. Mellies, Concurrent games and full completeness, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.431-442, 1999.
DOI : 10.1109/LICS.1999.782638
URL : http://www.cs.ox.ac.uk/files/316/cg.pdf

F. Barbanera, S. Van-bakel, and U. De-'liguoro, Orchestrated session compliance, Proceedings ICE'15. EPTCS, pp.21-36, 2015.
DOI : 10.1016/j.jlamp.2016.08.002

F. Barbanera and U. De-'liguoro, Sub-behaviour relations for session-based client/server systems, Mathematical Structures in Computer Science, vol.1381, issue.06, pp.1339-1381, 2015.
DOI : 10.1007/978-3-540-74407-8_15

F. Barbanera, M. Dezani-ciancaglini, I. Lanese, and U. De-'liguoro, Retractable Contracts, Electronic Proceedings in Theoretical Computer Science, vol.6269, issue.5, pp.61-72, 2015.
DOI : 10.1007/978-3-642-15375-4_39
URL : https://hal.archives-ouvertes.fr/hal-01227693

M. Bartoletti, T. Cimoli, G. M. Pinna, and R. Zunino, Contracts as games on event structures, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.3, pp.399-424, 2016.
DOI : 10.1016/j.jlamp.2015.05.001

G. Bernardi and M. Hennessy, Compliance and Testing Preorders Differ, Software Engineering and Formal Methods -SEFM 2013, pp.69-81, 2013.
DOI : 10.1007/978-3-319-05032-4_6
URL : https://www.scss.tcd.ie/Matthew.Hennessy/pubs/2013/beat2.pdf

M. Brandt and F. Henglein, Coinductive axiomatization of recursive type equality and subtyping, Fundam. Inform, vol.33, issue.4, pp.309-338, 1998.
DOI : 10.1007/3-540-62688-3_29
URL : http://www.cs.purdue.edu/homes/tzhao/./isomorphism/recursive-type.ps

M. Bravetti and G. Zavattaro, A theory of contracts for strong service compliance, Mathematical Structures in Computer Science, vol.1872, issue.03, pp.601-638, 2009.
DOI : 10.1016/j.ic.2006.06.002

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for Web services, ACM Transactions on Programming Languages and Systems, vol.31, issue.5, pp.1-1961, 2009.
DOI : 10.1145/1538917.1538920
URL : https://hal.archives-ouvertes.fr/hal-00434459

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

C. Laneve and L. Padovani, The Must Preorder Revisited, CONCUR'07, pp.212-225, 2007.
DOI : 10.1007/978-3-540-74407-8_15

R. D. Nicola and M. Hennessy, Testing equivalence for processes, ICALP. LNCS, pp.548-560, 1983.

L. Padovani, Contract-Based Discovery and Adaptation of Web Services, SFM. LNCS, pp.213-260, 2009.
DOI : 10.1007/978-3-540-30475-3_27

L. Padovani, Contract-based discovery of Web services modulo simple orchestrators, Theoretical Computer Science, vol.411, issue.37, pp.3328-3347, 2010.
DOI : 10.1016/j.tcs.2010.05.002
URL : https://doi.org/10.1016/j.tcs.2010.05.002

G. Winskel, Event structures Advances in Petri Nets, Part II, 1986.