S. Carpineti, G. Castagna, C. Laneve, and L. Padovani, A formal account of contracts for Web Services, LNCS, issue.4184, pp.148-162, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00152568

C. Laneve and L. Padovani, The must preorder revisited: An algebraic theory for web services contracts, LNCS, vol.4703, pp.212-225, 2007.

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, ACM Trans. on Prog. Lang. and Sys, vol.31, issue.5, p.61, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00152547

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type disciplines for structured communication-based programming, LNCS, vol.1381, pp.22-138, 1998.

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of session types and behavioural contracts, ACM Comput. Surv, vol.49, issue.1, p.36, 2016.

M. Carbone, K. Honda, and N. Yoshida, Structured interactional exceptions in session types, LNCS, vol.5201, pp.402-417, 2008.

M. Bartoletti, T. Cimoli, M. Murgia, A. Podda, and L. Pompianu, Compliance and subtyping in timed session types, LNCS, vol.9039, pp.161-177, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01767334

P. Prabhu, G. Ramalingam, and K. Vaswani, Safe programmable speculative parallelism, pp.50-61, 2010.

A. Avizienis, J. Laprie, B. Randell, and C. E. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dep. Sec. Comput, vol.1, issue.1, pp.11-33, 2004.

C. D. Carothers, K. S. Perumalla, and R. Fujimoto, Efficient optimistic parallel simulations using reverse computation, ACM Trans. Model. Comput. Simul, vol.9, issue.3, pp.224-253, 1999.

C. G. Quiñones, C. Madriles, J. Sánchez, P. Marcuello, A. González et al., Mitosis compiler: An infrastructure for speculative threading based on pre-computation slices, pp.269-279, 2005.

M. D. Preda, M. Gabbrielli, I. Lanese, J. Mauro, and G. Zavattaro, Graceful interruption of request-response service interactions, LNCS, vol.7084, pp.590-600, 2011.

F. Barbanera and U. De'liguoro, Sub-behaviour relations for session-based client/server systems, MSCS, vol.25, issue.6, pp.1339-1381, 2015.

G. T. Bernardi and M. Hennessy, Modelling session types using contracts, Mathematical Structures in Computer Science, vol.26, issue.3, pp.510-560, 2016.

C. A. Hoare, Communicating Sequential Processes, 1985.

I. C. Phillips and I. Ulidowski, Reversing algebraic process calculi, J. of Logic and Alg. Progr, vol.73, issue.1-2, pp.70-96, 2007.

F. Barbanera, I. Lanese, and U. De'liguoro, Retractable and speculative contracts, LNCS, vol.10319, pp.119-137, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633262

F. Barbanera, M. Dezani-ciancaglini, I. Lanese, and U. De'liguoro, PLACES 2015, vol.203, pp.61-72, 2016.

J. C. Baeten, J. A. Bergstra, J. W. Klop, and W. P. Weijland, Term-rewriting systems with rule priorities, Theor. Comput. Sci, vol.67, issue.2&3, pp.283-301, 1989.

A. Laville, Comparison of priority rules in pattern matching and term rewriting, J. Symbolic Computation, vol.11, pp.321-347, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075676

M. R. Mousavi, I. C. Phillips, M. A. Reniers, and I. Ulidowski, The meaning of ordered SOS, LNCS, vol.4337, pp.333-344, 2006.

M. R. Mousavi, I. Phillips, M. A. Reniers, and I. Ulidowski, Semantics and expressiveness of ordered SOS, Inf. Comput, vol.207, issue.2, pp.85-119, 2009.

V. Danos and J. Krivine, Reversible communicating systems, LNCS, vol.3170, pp.292-307, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00784051

I. Lanese, C. A. Mezzina, and J. Stefani, Reversibility in the higher-order ?calculus, Theor. Comput. Sci, vol.625, pp.25-84, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01081714

I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent reversibility, Bulletin of the EATCS, vol.114
URL : https://hal.archives-ouvertes.fr/hal-01089350

F. Barbanera and U. De'liguoro, Session types for orchestrated interactions, vol.261, pp.17-36, 2017.

G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, Observing localities, Theor. Comput. Sci, vol.114, issue.1, pp.31-61, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00075077

L. Zhang and S. Malik, The quest for efficient boolean satisfiability solvers, LNCS, vol.2404, pp.17-36, 2002.

L. Xu, F. Hutter, H. H. Hoos, and K. Leyton-brown, Satzilla: Portfolio-based algorithm selection for SAT, J. Artif. Intell. Res, vol.32, pp.565-606, 2008.

L. Padovani, Contract-based discovery of web services modulo simple orchestrators, Theoretical Computer Science, vol.411, pp.3328-3347, 2010.

V. Gapeyev, M. Y. Levin, and B. C. Pierce, Recursive subtyping revealed, J. Funct. Program, vol.12, issue.6, pp.511-548, 2002.

F. Barbanera and U. De'liguoro, Two notions of sub-behaviour for session-based client/server systems, pp.155-164, 2010.
DOI : 10.1145/1836089.1836109

F. Barbanera, M. Dezani-ciancaglini, and U. De'liguoro, Compliance for reversible client/server interactions, vol.162, pp.35-42, 2014.
DOI : 10.4204/eptcs.162.5
URL : http://arxiv.org/pdf/1408.5981

F. Barbanera, M. Dezani-ciancaglini, and U. De'liguoro, Reversible client/server interactions, Formal Asp. Comput, vol.28, issue.4, pp.697-722, 2016.
DOI : 10.1007/s00165-016-0358-2

F. Tiezzi and N. Yoshida, Towards reversible sessions, vol.155, pp.17-24, 2014.
DOI : 10.4204/eptcs.155.3
URL : http://arxiv.org/pdf/1406.3480

F. Tiezzi and N. Yoshida, Reversible session-based pi-calculus, J. Log. Algebr. Meth. Program, vol.84, issue.5, pp.684-707, 2015.
DOI : 10.1016/j.jlamp.2015.03.004
URL : https://doi.org/10.1016/j.jlamp.2015.03.004

C. A. Mezzina and J. A. Pérez, Reversibility in session-based concurrency: A fresh look, J. Log. Algebr. Meth. Program, vol.90, pp.2-30, 2017.
DOI : 10.1016/j.jlamp.2017.03.003
URL : http://eprints.imtlucca.it/3724/1/jlamp_sessioni.pdf

E. De-vries, V. Koutavas, and M. Hennessy, Communicating transactions(extended abstract), in: CONCUR, vol.6269, pp.569-583, 2010.

F. Barbanera and U. De'liguoro, Retractability, games and orchestrators for session contracts, Logical Methods in Computer Science, vol.13

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, pp.273-284, 2008.
DOI : 10.1145/1328897.1328472
URL : http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty_full.pdf

C. A. Mezzina and J. A. Pérez, Causally consistent reversible choreographies: A monitors-as-memories approach, pp.127-138, 2017.
DOI : 10.1145/3131851.3131864
URL : http://arxiv.org/pdf/1703.06021

M. Dezani-ciancaglini and P. Giannini, Reversible multiparty sessions with checkpoints, EXPRESS/SOS, vol.222, pp.60-74, 2016.
DOI : 10.4204/eptcs.222.5
URL : http://arxiv.org/pdf/1608.03129

I. Castellani, M. Dezani-ciancaglini, and P. Giannini, Schloss Dagstuhl-LeibnizZentrum fuer Informatik, vol.85, p.17, 2017.

G. T. Bernardi and M. Hennessy, Using higher-order contracts to model session types, Logical Methods in Computer Science, vol.12, issue.2
DOI : 10.2168/lmcs-12(2:10)2016
URL : https://lmcs.episciences.org/1642/pdf

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. Stefani, Concurrent flexible reversibility, vol.7792, pp.370-390, 2013.
DOI : 10.1007/978-3-642-37036-6_21
URL : https://hal.archives-ouvertes.fr/hal-00811629

A. Garcia and C. Laneve, Deadlock detection of java bytecode

K. Helsgaun, Cback: A simple tool for backtrack programming in C, Softw, Pract. Exper, vol.25, issue.8, pp.905-934, 1995.
DOI : 10.1002/spe.4380250805
URL : http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol25/issue8/spe972kh.pdf