J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent programming in Erlang, 1996.

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

C. Bennett, Logical reversibility of computation, IBM Journal of Research and Development, vol.17, pp.525-532, 1973.

C. Bennett, Notes on the history of reversible computation, IBM Journal of Research and Development, vol.44, issue.1, pp.270-278, 2000.

R. Caballero, E. Martín-martín, A. Riesco, and S. Tamarit, A declarative debugger for concurrent erlang programs (extended version), Dpto. Sistemas Informáticos y Computación, 2013.

L. Cardelli and C. Laneve, Reversible structures. In F. Fages, editor, Proceedings of the 9th International Conference on Computational Methods in Systems Biology (CMSB 2011), pp.131-140, 2011.

R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S. Nyström et al., Core erlang 1.0.3. language specification, 2004.

I. Cristescu, J. Krivine, and D. Varacca, A compositional semantics for the reversible p-calculus, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.388-397, 2013.

V. Danos and J. Krivine, Reversible communicating systems, Proc. of the 15th International Conference on Concurrency Theory, vol.3170, pp.292-307, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00784051

V. Danos and J. Krivine, Transactions in RCCS, Proc. of the 16th International Conference on Concurrency Theory (CONCUR 2005), vol.3653, pp.398-412, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00164585

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), pp.195-208, 2005.

M. P. Frank, Introduction to reversible computing: motivation, progress, and challenges, Proceedings of the Second Conference on Computing Frontiers, pp.385-390, 2005.

L. Fredlund, A framework for reasoning about Erlang code, 2001.

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-consistent reversible debugging, Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), vol.8411, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent reversibility in a tuple-based language, Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.467-475, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01227615

P. Kuang, J. Field, and C. A. Varela, Fault tolerant distributed computing using asynchronous local checkpointing, Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control (AGERE! 2014), pp.81-93, 2014.

R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Development, vol.5, pp.183-191, 1961.

I. Lanese, C. A. Mezzina, A. Schmitt, and J. Stefani, Controlling reversibility in higher-order pi, Proceedings of the 22nd International Conference on Concurrency Theory, vol.6901, pp.297-311, 2011.

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, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089350

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, CauDEr website

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, CauDEr: A causalconsistent reversible debugger for Erlang, Proceedings of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018, vol.10818, pp.247-263, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912894

M. Lienhardt, I. Lanese, C. A. Mezzina, and J. Stefani, A reversible abstract machine and its space overhead, Proceedings of the Joint 14th IFIP WG Int'l Conf. on Formal Techniques for Distributed Systems (FMOODS 2012) and the 32nd IFIP WG 6.1 International Conference, vol.7273, pp.1-17, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909384

K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, Bidirectionalization transformation based on automatic derivation of view complement functions, Proc. of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, pp.47-58, 2007.

R. Neykova and N. Yoshida, Let it recover: multiparty protocol-induced recovery, Proceedings of the 26th International Conference on Compiler Construction, pp.98-108, 2017.

N. Nishida, A. Palacios, and G. Vidal, Reversible term rewriting, 1st International Conference on Formal Structures for Computation and Deduction, vol.52, pp.1-28, 2016.

N. Nishida, A. Palacios, and G. Vidal, A reversible semantics for Erlang, Proc. of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, vol.10184, pp.259-274, 2017.

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.1-2, pp.70-96, 2007.

B. K. Rosen, Tree-manipulating systems and Church-Rosser theorems, Journal of the ACM, vol.20, issue.1, pp.160-187, 1973.

H. Svensson, L. Fredlund, and C. B. Earle, A unified semantics for future Erlang, Proc. of the 9th ACM SIGPLAN workshop on Erlang, pp.23-32, 2010.

M. K. Thomsen and H. B. Axelsen, Interpretation and programming of the reversible functional language RFUN, Proc. of the 27th International Symposium on Implementation and Application of Functional Languages (IFL 2015), vol.8, pp.1-8, 2016.

F. Tiezzi and N. Yoshida, Reversible session-based pi-calculus, J. Log. Algebr. Meth. Program, vol.84, issue.5, pp.684-707, 2015.

T. Yokoyama, Reversible computation and reversible programming languages, Proc. of the Workshop on Reversible Computation, vol.253, pp.71-81, 2009.

T. Yokoyama, H. B. Axelsen, and R. Glück, Principles of a reversible programming language, Proc. of the 5th Conference on Computing Frontiers, pp.43-54, 2008.