Foundations of Reversible Computation

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationReversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
EditorsIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Publication date12. May 2020
ISBN (Print)978-3-030-47360-0
ISBN (Electronic)978-3-030-47361-7
Publication statusPublished - 12. May 2020
Externally publishedYes
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Foundations of Reversible Computation'. Together they form a unique fingerprint.

Cite this