T. Akgul, &. V. Mooney, and I. , Assembly instruction level reverse execution for debugging, ACM Transactions on Software Engineering and Methodology, vol.13, issue.2, pp.149-198, 2004.
DOI : 10.1145/1018210.1018211

T. Altenkirch and &. J. Grattage, A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.249-258, 2005.
DOI : 10.1109/LICS.2005.1

A. Avizienis, J. Laprie, B. Randell, and &. 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

J. Barnard, J. Whitworth, and &. M. Woodward, Communicating X-machines, Information and Software Technology, vol.38, issue.6, pp.401-407, 1996.
DOI : 10.1016/0950-5849(95)01066-1

G. Boudol and &. I. Castellani, Permutation of transitions: An event structure semantics for CCS and SCCS. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pp.411-42710, 1988.

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

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

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

S. Eilenberg and &. B. Tilson, Automata, languages and machines. Volume B. Pure and applied mathematics, 1976.

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. Landauer, Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development, vol.5, issue.3, pp.183-191, 1961.
DOI : 10.1147/rd.53.0183

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

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

I. Lanese, C. A. Mezzina, and &. F. Tiezzi, Causal-Consistent Reversibility. Bulletin of the EATCS 114, p.305, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089350

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

A. W. Mazurkiewicz, Basic notions of trace theory, pp.285-363, 1988.
DOI : 10.1007/BFb0013025

R. Milner, Communication and concurrency, 1989.

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

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

T. Yokoyama and &. R. Glück, A reversible programming language and its invertible self-interpreter, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '07, pp.144-153, 2007.
DOI : 10.1145/1244381.1244404