Towards a Taxonomy for Reversible Computation Approaches

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

Towards a Taxonomy for Reversible Computation Approaches. / Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán.

Reversible Computation - 15th International Conference, RC 2023, Proceedings. ed. / Martin Kutrib; Uwe Meyer. Springer, 2023. p. 24-39 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Glück, R, Lanese, I, Mezzina, CA, Miszczak, JA, Phillips, I, Ulidowski, I & Vidal, G 2023, Towards a Taxonomy for Reversible Computation Approaches. in M Kutrib & U Meyer (eds), Reversible Computation - 15th International Conference, RC 2023, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13960 LNCS, pp. 24-39, 15th International Conference on Reversible Computation, RC 2023, Giessen, Germany, 18/07/2023. https://doi.org/10.1007/978-3-031-38100-3_3

APA

Glück, R., Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I., & Vidal, G. (2023). Towards a Taxonomy for Reversible Computation Approaches. In M. Kutrib, & U. Meyer (Eds.), Reversible Computation - 15th International Conference, RC 2023, Proceedings (pp. 24-39). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13960 LNCS https://doi.org/10.1007/978-3-031-38100-3_3

Vancouver

Glück R, Lanese I, Mezzina CA, Miszczak JA, Phillips I, Ulidowski I et al. Towards a Taxonomy for Reversible Computation Approaches. In Kutrib M, Meyer U, editors, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Springer. 2023. p. 24-39. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS). https://doi.org/10.1007/978-3-031-38100-3_3

Author

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares ; Miszczak, Jarosław Adam ; Phillips, Iain ; Ulidowski, Irek ; Vidal, Germán. / Towards a Taxonomy for Reversible Computation Approaches. Reversible Computation - 15th International Conference, RC 2023, Proceedings. editor / Martin Kutrib ; Uwe Meyer. Springer, 2023. pp. 24-39 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

Bibtex

@inproceedings{8d6342378a1d4911b17e35c712d25e51,

title = "Towards a Taxonomy for Reversible Computation Approaches",

abstract = "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.",

keywords = "Models and languages, Reversible computing, Taxonomy",

author = "Robert Gl{\"u}ck and Ivan Lanese and Mezzina, {Claudio Antares} and Miszczak, {Jaros{\l}aw Adam} and Iain Phillips and Irek Ulidowski and Germ{\'a}n Vidal",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 15th International Conference on Reversible Computation, RC 2023 ; Conference date: 18-07-2023 Through 19-07-2023",

year = "2023",

doi = "10.1007/978-3-031-38100-3_3",

language = "English",

isbn = "9783031380990",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "24--39",

editor = "Martin Kutrib and Uwe Meyer",

booktitle = "Reversible Computation - 15th International Conference, RC 2023, Proceedings",

address = "Switzerland",

}

RIS

TY - GEN

T1 - Towards a Taxonomy for Reversible Computation Approaches

AU - Glück, Robert

AU - Lanese, Ivan

AU - Mezzina, Claudio Antares

AU - Miszczak, Jarosław Adam

AU - Phillips, Iain

AU - Ulidowski, Irek

AU - Vidal, Germán

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

KW - Models and languages

KW - Reversible computing

KW - Taxonomy

UR - http://www.scopus.com/inward/record.url?scp=85169045145&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-38100-3_3

DO - 10.1007/978-3-031-38100-3_3

M3 - Article in proceedings

AN - SCOPUS:85169045145

SN - 9783031380990

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 24

EP - 39

BT - Reversible Computation - 15th International Conference, RC 2023, Proceedings

A2 - Kutrib, Martin

A2 - Meyer, Uwe

PB - Springer

T2 - 15th International Conference on Reversible Computation, RC 2023

Y2 - 18 July 2023 through 19 July 2023

ER -

ID: 366989094

Department of Computer Science