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

F. Barbanera, M. Dezani-ciancaglini, and U. Liguoro, Reversible client/server interactions, Formal Aspects of Computing, vol.84, issue.5, pp.697-722, 2016.
DOI : 10.1016/j.jlamp.2015.03.004

F. Barbanera, M. Dezani-ciancaglini, I. Lanese, and U. Liguoro, Retractable Contracts, PLACES, pp.61-72, 2016.
DOI : 10.1007/978-3-642-15375-4_39
URL : https://hal.archives-ouvertes.fr/hal-01227693

G. Bernardi and M. Hennessy, Modelling session types using contracts, Mathematical Structures in Computer Science, vol.6, issue.03, pp.510-56010, 2016.
DOI : 10.1016/j.tcs.2010.05.002

G. Boudol and I. Castellani, Permutation of transitions: An event structure semantics for CCS and SCCS, LNCS, vol.354, pp.411-42710, 1988.
DOI : 10.1007/BFb0013028

G. Boudol and I. Castellani, Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, Information and Computation, vol.114, issue.2, pp.247-314, 1994.
DOI : 10.1006/inco.1994.1088
URL : https://hal.archives-ouvertes.fr/inria-00075078

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On Global Types and Multi-Party Sessions, Logical Methods in Computer Science, vol.8, issue.1, pp.1-4510, 2012.
DOI : 10.1007/978-3-642-21461-5_1
URL : https://hal.archives-ouvertes.fr/hal-00618814

I. Cristescu, J. Krivine, and D. Varacca, Rigid Families for the Reversible $$\pi $$ -Calculus, RC, pp.3-19, 2016.
DOI : 10.1007/978-3-642-36315-3_18

V. Danos and J. Krivine, Reversible Communicating Systems, In CONCUR LNCS, vol.6, issue.4, pp.292-307, 2004.
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051

V. Koutavas and M. Hennessy, Communicating transactions -(extended abstract), In CONCUR LNCS, vol.3016, issue.6269, pp.569-583, 2010.

V. Edsko-de-vries, M. Koutavas, and . Hennessy, Liveness of communicating transactions -(extended abstract), APLAS, pp.392-407

. Springer, doi:10, pp.978-981, 2010.

P. Deniélou and N. Yoshida, Dynamic multirole session types, POPL, pp.435-446, 2011.

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, LNCS, vol.7211, pp.194-213, 2012.
DOI : 10.1007/978-3-642-28869-2_10

P. 14-mariangiola-dezani-ciancaglini and . Giannini, Reversible Multiparty Sessions with Checkpoints, Electronic Proceedings in Theoretical Computer Science, vol.9720, issue.5, pp.60-74, 2016.
DOI : 10.1007/978-3-319-40578-0_4

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent rollback in a tuple-based language, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.99-120, 2017.
DOI : 10.1016/j.jlamp.2016.09.003
URL : https://hal.archives-ouvertes.fr/hal-01633260

E. Graversen, I. Phillips, and N. Yoshida, Towards a Categorical Representation of Reversible Event Structures, PLACES, pp.49-60, 2017.
DOI : 10.1007/3-540-17906-2_31

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP, volume 1381 of LNCS, pp.22-13810, 1998.
DOI : 10.1007/BFb0053567
URL : http://www.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos_language-primitives-revisited.pdf

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472

C. 19-vasileios-koutavas, M. Spaccasassi, and . Hennessy, Bisimulations for communicating transactions -(extended abstract), FOSSACS, pp.320-334, 2014.

C. A. Lanese, A. Mezzina, J. Schmitt, and . Stefani, Controlling Reversibility in Higher-Order Pi, In CONCUR LNCS, vol.6901, pp.297-311
DOI : 10.1017/S0956796810000067
URL : http://sardes.inrialpes.fr/%7Easchmitt/papers/Lanese2011Controlling-Reversib.pdf

C. A. Lanese, J. Mezzina, and . Stefani, Reversing Higher-Order Pi, In CONCUR LNCS, vol.6269, pp.478-493, 2010.
DOI : 10.1007/978-3-642-15375-4_33

C. Antares, M. , and J. A. Pérez, Reversible semantics in session-based concurrency, ICTCS, volume 1720 of CEUR Workshop Proceedings, pp.221-226, 2016.

A. Mezzina and J. A. Pérez, Reversible Sessions Using Monitors, PLACES, pp.56-64
DOI : 10.1016/j.jlamp.2015.03.004
URL : http://arxiv.org/pdf/1606.05941

C. Antares, M. , and J. A. Pérez, Causally consistent reversible choreographies. CoRR, abs, 1703.

C. Antares, M. , and E. Tuosto, Choreographies for automatic recovery, 2017.

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Neykova and N. Yoshida, Let it recover: multiparty protocol-induced recovery, Proceedings of the 26th International Conference on Compiler Construction, CC 2017, pp.98-10810, 2017.
DOI : 10.1145/1596600.1596604
URL : https://spiral.imperial.ac.uk:8443/bitstream/10044/1/43566/2/camera_ready.pdf

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, The Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.70-96, 2007.
DOI : 10.1016/j.jlap.2006.11.002
URL : https://doi.org/10.1016/j.jlap.2006.11.002

I. Phillips and I. Ulidowski, Reversibility and asymmetric conflict in event structures, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.6, pp.781-805
DOI : 10.1016/j.jlamp.2015.07.004
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/29503/2/jlamprevised.pdf

C. Benjamin and . Pierce, Types and Programming Languages, 2002.

P. Thiemann and V. T. Vasconcelos, Context-free session types, ICFP, pp.462-475, 2016.
DOI : 10.1145/3022670.2951926

F. Tiezzi and N. Yoshida, Reversible session-based pi-calculus, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.5, pp.684-707
DOI : 10.1016/j.jlamp.2015.03.004
URL : https://doi.org/10.1016/j.jlamp.2015.03.004

F. Tiezzi and N. Yoshida, Reversing Single Sessions, RC, pp.52-69, 2016.
DOI : 10.1016/j.entcs.2007.02.056
URL : http://arxiv.org/pdf/1510.07253