F. Barbanera and U. Liguoro, Two notions of sub-behaviour for session-based client/server systems, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '10, pp.155-164, 2010.
DOI : 10.1145/1836089.1836109

M. Bravetti and G. Zavattaro, A foundational theory of contracts for multi-party service composition, Fundamenta Informaticae, vol.89, issue.4, pp.451-478, 2009.

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

M. Bugliesi, D. Macedonio, L. Pino, and S. Rossi, Compliance Preorders for Web Services, Proceedings of WS-FM'09, pp.76-91, 2010.
DOI : 10.1007/978-3-642-14458-5_5

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Proceedings of ESOP'07, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

G. Castagna, M. Dezani-ciancaglini, E. Giachino, and L. Padovani, Foundations of session types, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.219-230, 2009.
DOI : 10.1145/1599410.1599437

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-61, 2009.
DOI : 10.1145/1538917.1538920
URL : https://hal.archives-ouvertes.fr/hal-00152547

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2

R. De, N. , and M. Hennessy, Testing equivalences for processes, Theoretical Computer Science, vol.34, pp.83-133, 1984.

R. De, N. , and M. Hennessy, CCS without ?'s, Proceedings of TAPSOFT'87, pp.138-152, 1987.

A. Frisch, G. Castagna, and V. Benzaken, Semantic subtyping, Journal of the ACM, vol.55, issue.4, pp.1-64, 2008.
DOI : 10.1145/1391289.1391293
URL : https://hal.archives-ouvertes.fr/hal-00152690

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

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

M. Hennessy, Algebraic Theory of Processes. Foundation of Computing, 1988.

K. Honda, Types for dyadic interaction, Proceedings of CONCUR'93, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings of ESOP'98, pp.122-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proceedings of POPL'08, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

V. Natarajan and R. Cleaveland, Divergence and fair testing, Proceedings of ICALP '95, pp.648-659, 1995.
DOI : 10.1007/3-540-60084-1_112
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.5274

L. Padovani, Session Types at the Mirror, Electronic Proceedings in Theoretical Computer Science, vol.12, pp.71-86, 2009.
DOI : 10.4204/EPTCS.12.5

A. Rensink and W. Vogler, Fair testing. Information and Computation, pp.125-198, 2007.

T. Vasco and . Vasconcelos, Fundamentals of session types, SFM'09, pp.158-186, 2009.