An Axiomatic Approach to Reversible Computation - Lanese, Ivan; Phillips, Iain; Ulidowski, Irek; Foundations of Component-based Ubiquitous Systems (FOCUS); Centre Inria d'Université Côte d'Azur; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria); Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO); Imperial College London; University of Leicester; This work has been partially supported by COST Action IC1405 on Reversible Computation - Extending Horizons of Computing. The first author has also been partially supported by French ANR project DCore ANR-18-CE25-0007 and by INdAM as a member of GNCS (Gruppo Nazionale per il Calcolo Scientifico).; ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018); European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015) (FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures ; https://inria.hal.science/hal-03004421 ; FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.442 - 461, ⟨10.1007/978-3-030-45231-5_23⟩, 2020)