Foundations of Reversible Computation

Bogdan Aman

Co-primo

;Gabriel Ciobanu

Co-primo

;Robert Gl(

Co-primo

;Robin Kaarsgaard

Co-primo

;Jarkko Kari

Co-primo

;Martin Kutrib

Co-primo

;Ivan Lanese

Co-primo

;Claudio Antares Mezzina (L)ukasz Mikulski

Co-primo

;Rajagopal Nagarajan

Co-primo

;Iain Phillips

Co-primo

;G. Michele Pinna

Co-primo

;Luca Prigioniero

Co-primo

;Irek Ulidowski

Co-primo

;Germ('a)n Vidal

Co-primo

2020-01-01

---

Abstract

Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, covering areas as different as low-power computing, simulation, robotics and debugging, such applications need to be supported by a clear understanding of the foundations of reversible computation. We report below on many threads of research in the area of foundations of reversible computing, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled ``Reversible Computation - Extending Horizons of Computing'', which took place in the years 2015--2019.