E. N. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, pp.375-408, 2002.
DOI : 10.1145/568522.568525

B. Randell, System structure for software fault tolerance, IEEE Transactions on Software Engineering, vol.1, issue.2, pp.220-232, 1975.
DOI : 10.1145/800027.808467
URL : http://www.cs.ncl.ac.uk/research/pubs/inproceedings/../inproceedings/papers/341.pdf

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

D. Gorla and R. Pugliese, Resource Access and Mobility Control with Dynamic Privileges Acquisition, ICALP, pp.119-132, 2003.
DOI : 10.1007/3-540-45061-0_11
URL : http://gdn.dsi.unifi.it/~gorla/./papers/muklaim-full.pdf

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-Consistent Reversibility in a Tuple-Based Language, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.467-475, 2015.
DOI : 10.1109/PDP.2015.98
URL : https://hal.archives-ouvertes.fr/hal-01227615

R. De-nicola, G. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433
URL : http://www.cis.umassd.edu/~hxu/courses/cis602/papers/p80-gelernter-linda.pdf

L. Bettini, V. Bono, R. De-nicola, G. L. Ferrari, D. Gorla et al., The Klaim Project: Theory and Practice, Global Computing, pp.88-150, 2003.
DOI : 10.1007/978-3-540-40042-4_4
URL : http://gdn.dsi.unifi.it/~gorla/./papers/GC03.pdf

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

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. D. Cristescu, J. Krivine, and D. Varacca, A compositional semantics for the reversible pi-calculus, pp.388-397, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00840156

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

I. Lanese, C. A. Mezzina, and J. Stefani, Reversibility in the higher-order ?? -calculus, Theoretical Computer Science, vol.625, pp.25-84, 2016.
DOI : 10.1016/j.tcs.2016.02.019
URL : https://hal.archives-ouvertes.fr/hal-01081714

P. Prabhu, G. Ramalingam, and K. Vaswani, Safe programmable speculative parallelism, pp.50-61, 2010.
DOI : 10.1145/1809028.1806603
URL : http://research.microsoft.com/pubs/118795/pldi026-vaswani.pdf

P. D. Barnes-jr, C. D. Carothers, D. R. Jefferson, and J. M. Lapre, Warp speed, Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation, SIGSIM-PADS '13, pp.327-336, 2013.
DOI : 10.1145/2486092.2486134

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

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

A. Avizienis, J. Laprie, B. Randell, and C. E. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2
URL : http://www.cs.newcastle.ac.uk/publications/articles/papers/666.pdf

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

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, POPL, ACM, pp.195-208, 2005.

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

V. Danos and L. Regnier, Reversible, irreversible and optimal ??-machines, Theoretical Computer Science, vol.227, issue.1-2, pp.79-97, 1999.
DOI : 10.1016/S0304-3975(99)00049-3
URL : https://doi.org/10.1016/s0304-3975(99)00049-3

P. G. Bishop, Using reversible computing to achieve fail-safety, Proceedings The Eighth International Symposium on Software Reliability Engineering, pp.182-191, 1997.
DOI : 10.1109/ISSRE.1997.630863

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

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

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

S. Kuhn and I. Ulidowski, Towards Modelling of Local Reversibility, RC, pp.279-284, 2015.
DOI : 10.1007/978-3-319-20860-2_19

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

L. Bettini, R. De-nicola, and R. Pugliese, Klava: a Java package for distributed and mobile applications, Software -Pract, Exper, vol.32, issue.14, pp.1365-1394, 2002.
DOI : 10.1002/spe.486

J. Engblom, A review of reverse debugging, in: System, Software, SoC and Silicon Debug, IEEE, pp.1-6, 2012.

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-Consistent Reversible Debugging, FASE Lecture Notes in Computer Science, vol.8411, pp.370-384, 2014.
DOI : 10.1007/978-3-642-54804-8_26
URL : https://hal.archives-ouvertes.fr/hal-01089270