K. Barylska, A. Gogoli?ska, L. Mikulski, A. Philippou, M. Piatkowski et al., Reversing computations modelled by coloured Petri nets, CEUR-WS.org, vol.2115, pp.91-111, 2018.

K. Barylska, M. Koutny, L. Mikulski, and M. Piatkowski, Reversible computation vs. reversibility in Petri nets, Sci. Comput. Program, vol.151, pp.48-60, 2018.

E. Cardoza, R. Lipton, and A. R. Meyer, Exponential space complete problems for Petri nets and commutative semigroups (preliminary report), Proceedings of STOC, pp.50-54, 1976.

I. Cristescu, J. Krivine, and D. Varacca, A compositional semantics for the reversible ?-calculus, Symposium on Logic in Computer Science, LICS, 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 2015, vol.9399, pp.223-240, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01189062

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

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

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-consistent reversible debugging, FASE 2014, vol.8411, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

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

J. Hayman and G. Winskel, The unfolding of general Petri nets, FSTTCS. LIPIcs, vol.2, pp.223-234, 2008.

J. Hoey, I. Ulidowski, and S. Yuen, Reversing imperative parallel programs with blocks and procedures, Proceedings of EXPRESS/SOS, 2018.

S. Kuhn and I. Ulidowski, A calculus for local reversibility, Reversible Computation, RC 2016, vol.9720, pp.20-35, 2016.

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. Stefani, Concurrent flexible reversibility, ESOP 2013, vol.7792, pp.370-390, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00811629

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-01303090

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, LNCS, vol.10818, pp.247-263, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912894

J. Leeman and G. B. , A formal approach to undo operations in programming languages, ACM Trans. Program. Lang. Syst, vol.8, issue.1, pp.50-87, 1986.

J. Lévy, An algebraic interpretation of the ??K-calculus; and an application of a labelled ?-calculus, Theor. Comput. Sci, vol.2, issue.1, pp.97-114, 1976.

D. Medic, C. A. Mezzina, I. Phillips, and N. Yoshida, A parametric framework for reversible ?-calculi, Proceedings of EXPRESS/SOS. EPTCS, vol.276, pp.87-103, 2018.

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I. Theor, Comput. Sci, vol.13, issue.81, pp.90112-90114, 1981.

A. Philippou and K. Psara, Reversible computation in Petri nets, Reversible Computation, vol.11106, pp.84-101, 2018.

I. Phillips and I. Ulidowski, Reversibility and models for concurrency, Proceedings of SOS 2007. ENTCS, vol.192, pp.93-108, 2007.

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

I. Phillips and I. Ulidowski, Reversibility and asymmetric conflict in event structures, J. Log. Algebr. Meth. Program, vol.84, issue.6, pp.781-805, 2015.


I. Phillips, I. Ulidowski, and S. Yuen, A reversible process calculus and the modelling of the ERK signalling pathway, Reversible Computation, vol.7581, pp.218-232, 2013.

G. M. Pinna, M. Gheorghe, G. Rozenberg, and A. Salomaa, Reversing steps in membrane systems computations, Membrane Computing, CMC 2017, vol.10725, pp.245-261, 2017.

M. Schordan, T. Oppelstrup, D. R. Jefferson, and P. D. Jr, Generation of reversible C++ code for optimistic parallel discrete event simulation. New Generation Comput, vol.36, pp.257-280, 2018.

I. Ulidowski, I. Phillips, and S. Yuen, Reversing event structures, New Generation Comput, vol.36, issue.3, pp.281-306, 2018.

M. Vassor and J. Stefani, Checkpoint/rollback vs causally-consistent reversibility, Reversible Computation, vol.11106, pp.286-303, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01953756

A. D. Vos, S. D. Baerdemacker, and Y. V. Rentergem, Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits, Synthesis Lectures on Digital Circuits and Systems, 2018.