M. ??-m-then-either, M. ??-m, and P. ??, i) P RM or (ii) P ?? P 1 and P 1 RM or (iii

L. Acciai, M. Boreale, and S. Dal-zilio, A Concurrent Calculus with Atomic Transactions, ESOP'07, 2007.
DOI : 10.1007/978-3-540-71316-6_5
URL : https://hal.archives-ouvertes.fr/hal-00109264

G. Bacci, V. Danos, and O. Kammar, On the Statistical Thermodynamics of Reversible Communicating Processes, CALCO 2011, 2011.
DOI : 10.1007/978-3-642-22944-2_1

G. Berry and J. Lévy, Minimal and optimal computations of recursive programs, J. ACM, vol.26, issue.1, 1979.

R. Bruni, H. C. Melgratti, and U. Montanari, Theoretical foundations for compensations in flow composition languages, POPL'05, 2005.

R. Bruni and U. Montanari, Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, vol.156, issue.1-2, 2000.
DOI : 10.1006/inco.1999.2819

M. J. Butler, C. A. Hoare, and C. Ferreira, A Trace Semantics for Long-Running Transactions, 25 Years CSP, number 3525, 2004.
DOI : 10.1007/11423348_8

L. Cardelli and C. Laneve, Reversible structures, Proceedings of the 9th International Conference on Computational Methods in Systems Biology, CMSB '11, 2011.
DOI : 10.1145/2037509.2037529

T. Chothia and D. Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, vol.322, issue.3, 2004.
DOI : 10.1016/j.tcs.2003.09.014

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, 2002.
DOI : 10.1016/S0304-3975(01)00359-0

V. Danos and J. Krivine, Reversible Communicating Systems, CONCUR'04, 2004.
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051

V. Danos and J. Krivine, Transactions in RCCS, CONCUR'05, 2005.
DOI : 10.1007/11539452_31
URL : https://hal.archives-ouvertes.fr/hal-00164585

E. De-vries, V. Koutavas, and M. Hennessy, Communicating Transactions, CONCUR 2010, 2010.
DOI : 10.1007/978-3-642-15375-4_39

K. Donnelly and M. Fluet, Transactional events, Journal of Functional Programming, vol.18, pp.5-6, 2008.
DOI : 10.1145/1160074.1159821

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, POPL'05, 2005.

T. Harris, S. Marlow, S. L. Peyton, M. Jones, and . Herlihy, Composable memory transactions, Commun. ACM, issue.8, p.51, 2008.
DOI : 10.1145/1065944.1065952
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.7792

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. Stefani, Concurrent flexible reversibility (TR), 2012.
DOI : 10.1007/978-3-642-37036-6_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.5393

I. Lanese, C. A. Mezzina, A. Schmitt, and J. Stefani, Controlling Reversibility in Higher-Order Pi, CONCUR 2011, 2011.
DOI : 10.1007/11539452_31

I. Lanese, C. A. Mezzina, and J. Stefani, Reversing Higher-Order Pi, CON- CUR 2010, 2010.
DOI : 10.1007/978-3-642-15375-4_33

G. B. Leeman, A formal approach to undo operations in programming languages, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, 1986.
DOI : 10.1145/5001.5005

M. Lienhardt, I. Lanese, C. A. Mezzina, and J. Stefani, A Reversible Abstract Machine and Its Space Overhead, FMOODS/FORTE 2012, 2012.
DOI : 10.1007/978-3-642-30793-5_1
URL : https://hal.archives-ouvertes.fr/hal-00909384

K. F. Moore and D. Grossman, High-level small-step operational semantics for transactions, POPL'08, 2008.

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.12, 2007.

I. Phillips and I. Ulidowski, A Logic with Reverse Modalities for History-preserving Bisimulations, EXPRESS 2011, 2011.
DOI : 10.4204/EPTCS.64.8

I. Phillips, I. Ulidowski, and S. Yuen, A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation 2012, 2012.
DOI : 10.1007/978-3-642-36315-3_18

D. Sangiorgi and D. Walker, The ?-calculus: A Theory of Mobile Processes, 2001.

L. Ziarek and S. Jagannathan, Lightweight checkpointing for concurrent ML, Journal of Functional Programming, vol.20, issue.02, p.2010
DOI : 10.1145/190.357398