J. Armstrong, Erlang ? Software for a Concurrent World, ECOOP 2007 ? Object-Oriented Programming, vol.4609, pp.1-1

G. Bacci, V. Danos, and O. Kammar, On the Statistical Thermodynamics of Reversible Communicating Processes, Algebra and Coalgebra in Computer Science, vol.6859, pp.1-18, 2011.

K. Barylska, E. Erofeev, M. Koutny, ?. Mikulski, and M. Pi?tkowski, Reversing Transitions in Bounded Petri Nets, Fundamenta Informaticae, vol.157, issue.4, pp.341-357, 2018.

A. Bernadet and I. Lanese, A Modular Formalization of Reversibility for Concurrent Models and Languages, Electronic Proceedings in Theoretical Computer Science, vol.223, pp.98-112, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01337423

B. Boothe, Efficient algorithms for bidirectional debugging, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00, pp.299-310, 2000.

L. Cardelli and C. Laneve, Reversible structures, Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11, 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.

C. D. Carothers, K. S. Perumalla, and R. M. Fujimoto, Efficient optimistic parallel simulations using reverse computation, ACM Transactions on Modeling and Computer Simulation, vol.9, issue.3, pp.224-253, 1999.

I. Cristescu, J. Krivine, and D. Varacca, A Compositional Semantics for the Reversible p-Calculus, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.388-397, 2013.

V. Danos and J. Krivine, Reversible Communicating Systems, CONCUR 2004 - Concurrency Theory, vol.3170, pp.292-307, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00784051

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

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

E. Graversen, I. Phillips, and N. Yoshida, Event Structure Semantics of (controlled) Reversible CCS, Reversible Computation, vol.11106, pp.102-122, 2018.

S. Kuhn and I. Ulidowski, Local reversibility in a Calculus of Covalent Bonding, Science of Computer Programming, vol.151, pp.18-47, 2018.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

R. Landauer, Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development, vol.5, issue.3, pp.183-191, 1961.

I. Lanese, From Reversible Semantics to Reversible Debugging, Reversible Computation, vol.11106, pp.34-46, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912920

I. Lanese and D. Medi?, Reversible metabolism of haloperidol (HAL) and reduced HAL (RHAL): A hypothesis concerning the therapeutic window effect of HAL treatment, Biological Psychiatry, vol.27, issue.9, p.80, 1990.

I. Lanese, C. A. Mezzina, A. Schmitt, and J. Stefani, Controlling Reversibility in Higher-Order Pi, CONCUR 2011 ? Concurrency Theory, vol.6901, pp.297-311, 2011.

I. Lanese, C. A. Mezzina, and J. Stefani, Controlled Reversibility and Compensations, Reversible Computation, vol.7581, pp.233-240, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909377

I. Lanese, C. A. Mezzina, and J. Stefani, Reversibility in the higher-order ?-calculus, Theoretical Computer Science, 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: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, vol.10818, pp.247-263, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912894

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, A theory of reversibility for Erlang, Journal of Logical and Algebraic Methods in Programming, vol.100, pp.71-97, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912856

I. Lanese, A. Palacios, and G. Vidal, Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, pp.167-184, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313745

I. Lanese, A. Palacios, and G. Vidal, Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, pp.167-184, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313745

I. Lanese, I. Phillips, and I. Ulidowski, An Axiomatic Approach to Reversible Computation, Lecture Notes in Computer Science, vol.2020, pp.442-461, 2020.
URL : https://hal.archives-ouvertes.fr/hal-03004421

I. Lanese, D. Sangiorgi, and G. Zavattaro, Playing with Bisimulation in Erlang, Models, Languages, and Tools for Concurrent and Distributed Programming, pp.71-91, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02376217

J. Sund-laursen, U. Schultz, and L. Ellekilde, Automatic error recovery in robot assembly operations using reverse execution, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, pp.1785-1792, 2015.

C. Lutz, Light-Triggered Reversible Self-Engulfing of Janus Nanoparticles, Letter to R. Landauer

J. Mcnellis, J. Mola, and K. Sykes, Time travel debugging: Root causing bugs in commercial scale software. CppCon talk, 2017.

C. Hernán, C. A. Melgratti, I. Mezzina, and . Ulidowski, Reversing P/T nets, Coordination Models and Languages -21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, vol.11533, pp.19-36, 2019.

C. Mezzina, On Reversibility and Broadcast, Reversible Computation, vol.11106, pp.67-83, 2018.

C. A. Mezzina and J. A. Pérez, Causally consistent reversible choreographies, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp.127-138, 2017.

A. Philippou and K. Psara, Reversible Computation in Petri Nets, Reversible Computation, pp.84-101, 2018.

I. Phillips, I. Ulidowski, and S. Yuen, A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, pp.218-232, 2013.

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

G. D. Plotkin, A structural approach to operational semantics, The Journal of Logic and Algebraic Programming, vol.60-61, pp.17-139, 2004.

D. Sangiorgi, Bisimulation for Higher-Order Process Calculi, Information and Computation, vol.131, issue.2, pp.141-178, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00074170

V. Sassone, M. Nielsen, and G. Winskel, Models for concurrency: towards a classification, Theoretical Computer Science, vol.170, issue.1-2, pp.297-348, 1996.

U. Schultz, Reversible Object-Oriented Programming with Region-Based Memory Management, Reversible Computation, vol.11106, pp.322-328, 2018.

I. Ulidowski, I. Phillips, and S. Yuen, Reversing Event Structures, New Generation Computing, vol.36, issue.3, pp.281-306, 2018.