A. Website,

T. Akgul, I. Mooney, and V. J. , Assembly instruction level reverse execution for debugging, ACM Trans. Softw. Eng. Methodol, vol.13, issue.2, pp.149-198, 2004.

. Akka,

T. Altenkirch and J. Grattage, A functional quantum programming language, LICS. pp, pp.249-258, 2005.

M. Boreale and D. Sangiorgi, A fully abstract semantics for causality in the picalculus, Acta Inf, vol.35, issue.5, pp.353-400, 1998.

T. Britton, L. Jeng, G. Carver, P. Cheak, and T. Katzenellenbogen, Reversible debugging software-quantify the time and cost saved using reversible debuggers, 2012.

R. Caballero, E. Martin-martin, A. Riesco, and S. Tamarit, EDD: A declarative debugger for sequential Erlang programs, TACAS. Lecture Notes in Computer Science, vol.8413, pp.581-586, 2014.

L. Cardelli and C. Laneve, Reversible structures, CMSB. pp, pp.131-140, 2011.

R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S. O. Nyström et al., , 2004.

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

D. Cingolani, A. Pellegrini, and F. Quaglia, Transparently mixing undo logs and software reversibility for state recovery in optimistic PDES, PADS. pp, pp.211-222, 2015.

I. D. Cristescu, J. Krivine, and D. Varacca, A compositional semantics for the reversible pi-calculus, LICS. pp, pp.388-397, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00840156

I. D. Cristescu, J. Krivine, and D. Varacca, Rigid families for CCS and the ?-calculus, ICTAC. Lecture Notes in Computer Science, vol.9399, pp.223-240, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01189062

V. Danos and J. Krivine, Reversible communicating systems, In: CONCUR. Lecture Notes in Computer Science, vol.3170, pp.292-307, 2004.
DOI : 10.1007/978-3-540-28644-8_19
URL : https://hal.archives-ouvertes.fr/hal-00784051

P. Degano and C. Priami, Non-interleaving semantics for mobile processes, Theor. Comput. Sci, vol.216, issue.1-2, pp.237-270, 1999.

M. P. Frank, Introduction to reversible computing: motivation, progress, and challenges, 2nd Conference on Computing Frontiers, pp.385-390, 2005.
DOI : 10.1145/1062261.1062324

E. Giachino, I. Lanese, and C. A. Mezzina, CaReDeb website

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-consistent reversible debugging, In: 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

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent rollback in a tuple-based language, J. Log. Algebr. Meth. Program, vol.88, pp.99-120, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633260

T. Haulund, T. A. Mogensen, and R. Glück, Implementing reversible object-oriented language features on reversible machines, RC. Lecture Notes in Computer Science, vol.10301, pp.66-73, 2017.

C. Hewitt, P. B. Bishop, and R. Steiger, A universal modular ACTOR formalism for artificial intelligence, pp.235-245, 1973.

J. Hoey, I. Ulidowski, and S. Yuen, Reversing imperative parallel programs, vol.255, pp.51-66, 2017.
DOI : 10.4204/eptcs.255.4
URL : https://arxiv.org/pdf/1709.00828

J. Huang and C. Zhang, Debugging concurrent software: Advances and challenges, J. Comput. Sci. Technol, vol.31, issue.5, pp.861-868, 2016.
DOI : 10.1007/s11390-016-1669-8

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

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. B. Stefani, Concurrent flexible reversibility, vol.7792, 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. B. Stefani, Controlling reversibility in higher-order pi, In: CONCUR. Lecture Notes in Computer Science, vol.6901, pp.297-311, 2011.

I. Lanese, C. A. Mezzina, and J. Stefani, Controlled reversibility and compensations, In: RC. Lecture Notes in Computer Science, vol.7581, pp.233-240, 2012.
DOI : 10.1007/978-3-642-36315-3_19
URL : https://hal.archives-ouvertes.fr/hal-00909377

I. Lanese, C. A. Mezzina, and J. B. 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, N. Nishida, A. Palacios, and G. Vidal, CauDEr website

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, CauDEr: A causal-consistent reversible debugger for Erlang, FLOPS. Lecture Notes in Computer Science, 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, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912856

J. S. Laursen, U. P. Schultz, and L. Ellekilde, Automatic error recovery in robot assembly operations using reverse execution, IROS. pp, pp.1785-1792, 2015.

M. Lienhardt, I. Lanese, C. A. Mezzina, and J. B. Stefani, A reversible abstract machine and its space overhead, FMOODS/FORTE, vol.7273, pp.1-17, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909384

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

C. A. Mezzina, On reversibility and broadcast, RC. Lecture Notes in Computer Science, 2018.
DOI : 10.1007/978-3-319-99498-7_5

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.70-96, 2007.
DOI : 10.1007/11690634_17

I. Phillips, I. Ulidowski, and S. Yuen, A reversible process calculus and the modelling of the ERK signalling pathway, RC. Lecture Notes in Computer Science, vol.7581, pp.218-232, 2012.

M. Schordan, D. R. Jefferson, P. D. Jr, T. Oppelstrup, and D. J. Quinlan, Reverse code generation for parallel discrete event simulation, RC. Lecture Notes in Computer Science, vol.9138, pp.95-110, 2015.
DOI : 10.1007/978-3-319-20860-2_6

K. Shibanai and T. Watanabe, Actoverse: a reversible debugger for actors, pp.50-57, 2017.

H. Sutter, The free lunch is over: A fundamental turn toward concurrency in software, Dr. Dobbs Journal, vol.30, issue.3, 2005.

, TCP example from EDD github repository

, Undo Software: Undodb, commercial reversible debugger

, Undo Software: Increasing software development productivity with reversible debugging, 2014.

T. Yokoyama, H. B. Axelsen, and R. Glück, Towards a reversible functional language, RC. Lecture Notes in Computer Science, vol.7165, pp.14-29, 2011.

T. Yokoyama and R. Glück, A reversible programming language and its invertible self-interpreter, PEPM. pp, pp.144-153, 2007.