Towards a Taxonomy for Reversible Computation Approaches
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible computation has been studied in a variety of models, including sequential and concurrent programming languages, automata, process calculi, Turing machines, circuits, Petri nets, event structures, term rewriting, quantum computing, and others. Also, it has found applications in areas as different as low-power computing, debugging, simulation, robotics, database design, and biochemical modeling. Thus, while the broad idea of reversible computation is the same in all the areas, it has been interpreted and adapted to fit the various settings. The existing notions of reversible computation however have never been compared and categorized in detail. This work aims at being a first stepping stone towards a taxonomy of the approaches that co-exist under the term reversible computation. We hope that such a work will shed light on the relation among the various approaches.
Original language | English |
---|---|
Title of host publication | Reversible Computation - 15th International Conference, RC 2023, Proceedings |
Editors | Martin Kutrib, Uwe Meyer |
Number of pages | 16 |
Publisher | Springer |
Publication date | 2023 |
Pages | 24-39 |
ISBN (Print) | 9783031380990 |
DOIs | |
Publication status | Published - 2023 |
Event | 15th International Conference on Reversible Computation, RC 2023 - Giessen, Germany Duration: 18 Jul 2023 → 19 Jul 2023 |
Conference
Conference | 15th International Conference on Reversible Computation, RC 2023 |
---|---|
Land | Germany |
By | Giessen |
Periode | 18/07/2023 → 19/07/2023 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 13960 LNCS |
ISSN | 0302-9743 |
Bibliographical note
Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
- Models and languages, Reversible computing, Taxonomy
Research areas
ID: 366989094