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

J. Armstrong, Making reliable distributed systems in the presence of software errors, KTH, 2003.

K. Arya, T. Denniston, A. M. Visan, and G. Cooperman, FReD: Automated debugging via binary search through a process lifetime, 1212.

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

C. Bennett, Logical Reversibility of Computation, IBM Journal of Research and Development, vol.17, issue.6, pp.525-532, 1973.
DOI : 10.1147/rd.176.0525

J. A. Bergstra and J. W. Klop, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.31560-599, 1984.
DOI : 10.1145/828.833

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.
DOI : 10.1145/2037509.2037529

K. Cho, S. Shin, H. W. Kim, O. Wolkenhauer, B. Mcferran et al., Mathematical modeling of the influence of RKIP on the ERK signaling pathway, CMSB, volume 2602 of LNCS, pp.127-141, 2003.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, pp.187-243, 2002.
DOI : 10.1016/S0304-3975(01)00359-0

J. J. Cook, Reverse Execution of Java Bytecode, The Computer Journal, vol.45, issue.6, pp.608-619, 2002.
DOI : 10.1093/comjnl/45.6.608

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

V. Danos and J. Krivine, Formal Molecular Biology Done in CCS-R, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.31-49, 2003.
DOI : 10.1016/j.entcs.2004.01.040

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

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

V. Danos, J. Krivine, and P. Sobocinski, General Reversibility, SOS, pp.75-86, 2006.
DOI : 10.1016/j.entcs.2006.07.036
URL : https://hal.archives-ouvertes.fr/hal-00156389

V. Danos, J. Krivine, and F. Tarissan, Self-assembling Trees, SOS, pp.19-32, 2007.
DOI : 10.1016/j.entcs.2006.11.017
URL : https://hal.archives-ouvertes.fr/hal-00155303

R. De-nicola, U. Montanari, and F. W. Vaandrager, Back and forth bisimulations, In CONCUR LNCS, vol.458, pp.152-165, 1990.
DOI : 10.1007/BFb0039058

E. De-vries, V. Koutavas, and M. Hennessy, Communicating Transactions, In CON- CUR LNCS, vol.6269, pp.569-583, 2010.
DOI : 10.1007/978-3-642-15375-4_39

S. I. Feldman and C. B. Brown, Igor: A system for program debugging via reversible execution, Workshop on Parallel and Distributed Debugging, 1988.

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

R. Grishman, The debugging system AIDS, Proceedings of the May 5-7, 1970, spring joint computer conference on, AFIPS '70 (Spring), pp.59-64, 1970.
DOI : 10.1145/1476936.1476952

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985.
DOI : 10.1145/2455.2460

A. Joyal, M. Nielsen, and G. Winskel, Bisimulation from Open Maps, BRICS Report Series, vol.1, issue.7, pp.164-185, 1996.
DOI : 10.7146/brics.v1i7.21663

S. T. King, G. W. Dunlap, and P. M. Chen, Debugging operating systems with time-traveling virtual machines, USENIX Annual Technical Conference, pp.1-15, 2005.

J. Krivine, A Verification Technique for Reversible Process Algebra, RC, pp.204-217, 2012.
DOI : 10.1007/978-3-642-36315-3_17
URL : https://hal.archives-ouvertes.fr/hal-00697549

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, 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, In CONCUR LNCS, vol.6901, pp.297-311, 2011.
DOI : 10.1007/11539452_31

I. Lanese, C. A. Mezzina, and J. 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 J. Stefani, Controlled Reversibility and Compensations, RC, pp.233-240, 2012.
DOI : 10.1007/978-3-642-36315-3_19
URL : https://hal.archives-ouvertes.fr/hal-00909377

G. B. 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

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

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, I and II. Information and Computation, pp.1-40, 1992.

M. Nielsen and C. Clausen, Bisimulation for Models in Concurrency, In CONCUR LNCS, vol.836, pp.385-400, 1994.
DOI : 10.1007/978-3-540-48654-1_29

A. Phillips and L. Cardelli, A programming language for composable DNA circuits, Journal of The Royal Society Interface, vol.31, issue.13, 2009.
DOI : 10.1093/nar/gkg595

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.12, 2007.
DOI : 10.1016/j.jlap.2006.11.002
URL : http://doi.org/10.1016/j.jlap.2006.11.002

I. Phillips and I. Ulidowski, A Logic with Reverse Modalities for History-preserving Bisimulations, EXPRESS, pp.104-118, 2011.
DOI : 10.4204/EPTCS.64.8

I. Phillips and I. Ulidowski, A hierarchy of reverse bisimulations on stable configuration structures, Mathematical Structures in Computer Science, vol.812, issue.02, pp.333-372, 2012.
DOI : 10.1016/j.jlap.2006.11.002

I. Phillips and I. Ulidowski, Reversibility and asymmetric conflict in event structures, In CONCUR LNCS, vol.8052, pp.303-318, 2013.

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

I. Phillips, I. Ulidowski, and S. Yuen, Modelling of Bonding with Processes and Events, RC, pp.141-154, 2013.
DOI : 10.1007/978-3-642-38986-3_12

A. Regev, W. Silverman, and E. Y. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, Pacific Symposium on Biocomputing, pp.459-470, 2001.

D. Sangiorgi, Expressing Mobility in Process Algebras: First-Order and Higher- Order Paradigms, 1992.

T. Stanley, T. Close, and M. S. Miller, Causeway: a message-oriented distributed debugger, 2009.

F. Tiezzi and N. Yoshida, Towards Reversible Sessions, PLACES, pp.17-24, 2014.
DOI : 10.4204/EPTCS.155.3
URL : http://doi.org/10.4204/eptcs.155.3

U. Jeffrey, A. , F. James, and E. , Mechanisms of specificity in protein phosphorylation, Nat. Rev. Mol. Cell. Biol, vol.8, issue.7, pp.530-541, 2007.

I. Ulidowski, I. Phillips, and S. Yuen, Concurrency and Reversibility, RC, pp.1-14, 2014.
DOI : 10.1007/978-3-319-08494-7_1

R. J. Van-glabbeek and U. Goltz, Refinement of actions and equivalence notions for concurrent systems, Acta Informatica, vol.37, issue.4-5, pp.229-327, 2001.
DOI : 10.1007/s002360000041

A. M. Visan, Temporal debugging using URDB. CoRR, abs/0910, 2009.

T. Yokoyama, H. B. Axelsen, and R. Glück, Principles of a reversible programming language, Proceedings of the 2008 conference on Computing frontiers , CF '08, pp.43-54, 2008.
DOI : 10.1145/1366230.1366239

M. V. Zelkowitz, Reversible execution, Communications of the ACM, vol.16, issue.9, p.566, 1973.
DOI : 10.1145/362342.362360