W. M. Van-der-aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, Multiparty Contracts: Agreeing and Implementing Interorganizational Processes, The Computer Journal, vol.53, issue.1, pp.90-106, 2010.
DOI : 10.1093/comjnl/bxn064

L. Acciai, M. Boreale, and G. Zavattaro, Behavioural contracts with request-response operations, In: COORDINATION. LNCS, vol.6116, pp.16-30, 2010.
DOI : 10.1007/978-3-642-13414-2_2
URL : https://hal.archives-ouvertes.fr/hal-01054626

F. Barbanera and U. De-'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. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu, Compliance and Subtyping in Timed Session Types, FORTE. LNCS, pp.161-177, 2015.
DOI : 10.1007/978-3-319-19195-9_11

M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu, A contractoriented middleware, FACS. LNCS, pp.86-104, 2015.

M. Bartoletti, M. Murgia, A. Scalas, and R. Zunino, Verifiable abstractions for contract-oriented systems, Journal of Logical and Algebraic Methods in Programming, vol.86, issue.1, 2015.
DOI : 10.1016/j.jlamp.2015.10.005

M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino, . Fmood-s-/ et al., Honesty by Typing, LNCS, vol.7892, pp.305-320, 2013.
DOI : 10.1007/978-3-642-38592-6_21

M. Bartoletti and R. Zunino, On the Decidability of Honesty and of Its Variants, Web Services, Formal Methods, and Behavioral Types, 2015.
DOI : 10.1007/978-3-319-33612-1_9

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, 2001.
DOI : 10.1016/S0304-3975(01)00359-0
URL : http://doi.org/10.1016/s0304-3975(01)00359-0

C. Eker, S. Meseguer, J. Sridharanarayanan, and A. , The Maude LTL Model Checker, Electronic Notes in Theoretical Computer Science, vol.71, issue.71, pp.162-187, 2002.
DOI : 10.1016/S1571-0661(05)82534-4
URL : http://doi.org/10.1016/s1571-0661(05)82534-4

K. Honda, Types for dyadic interaction, In: CONCUR. pp, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1355

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP. LNCS, pp.22-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, Journal of the ACM, vol.63, issue.1, pp.1-967, 2016.
DOI : 10.1145/2827695
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

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

F. Lerda and W. Visser, Addressing dynamic issues of program model checking, SPIN workshop on Model checking of software, 2001.
DOI : 10.1007/3-540-45139-0_6

A. Mukhija, A. Dingwall-smith, and D. Rosenblum, QoS-Aware Service Composition in Dino, Fifth European Conference on Web Services (ECOWS'07), pp.3-12, 2007.
DOI : 10.1109/ECOWS.2007.24

A. Rensink and W. Vogler, Fair testing, Information and Computation, vol.205, issue.2, pp.125-198, 2007.
DOI : 10.1016/j.ic.2006.06.002

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003.
DOI : 10.1109/ASE.2000.873645