Standard
Foundations of reversible computation. / Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán.
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. ed. / Irek Ulidowski; Ivan Lanese; Ulrik Pagh Schultz; Carla Ferreira. Springer VS, 2020. p. 1-40 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Aman, B, Ciobanu, G
, Glück, R, Kaarsgaard, R, Kari, J, Kutrib, M, Lanese, I, Mezzina, CA, Mikulski, Ł, Nagarajan, R, Phillips, I, Pinna, GM, Prigioniero, L, Ulidowski, I & Vidal, G 2020,
Foundations of reversible computation. in I Ulidowski, I Lanese, UP Schultz & C Ferreira (eds),
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer VS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12070 LNCS, pp. 1-40, 12th International Conference on Reversible Computation, RC 2020, Oslo, Norway,
09/07/2020.
https://doi.org/10.1007/978-3-030-47361-7_1
APA
Aman, B., Ciobanu, G.
, Glück, R., Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I., & Vidal, G. (2020).
Foundations of reversible computation. In I. Ulidowski, I. Lanese, U. P. Schultz, & C. Ferreira (Eds.),
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 (pp. 1-40). Springer VS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12070 LNCS
https://doi.org/10.1007/978-3-030-47361-7_1
Vancouver
Aman B, Ciobanu G
, Glück R, Kaarsgaard R, Kari J, Kutrib M et al.
Foundations of reversible computation. In Ulidowski I, Lanese I, Schultz UP, Ferreira C, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer VS. 2020. p. 1-40. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
https://doi.org/10.1007/978-3-030-47361-7_1
Author
Aman, Bogdan ; Ciobanu, Gabriel ; Glück, Robert ; Kaarsgaard, Robin ; Kari, Jarkko ; Kutrib, Martin ; Lanese, Ivan ; Mezzina, Claudio Antares ; Mikulski, Łukasz ; Nagarajan, Rajagopal ; Phillips, Iain ; Pinna, G. Michele ; Prigioniero, Luca ; Ulidowski, Irek ; Vidal, Germán. / Foundations of reversible computation. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. editor / Irek Ulidowski ; Ivan Lanese ; Ulrik Pagh Schultz ; Carla Ferreira. Springer VS, 2020. pp. 1-40 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
Bibtex
@inproceedings{901effa72209453b83e9fdd2d1f2b067,
title = "Foundations of reversible computation",
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.",
author = "Bogdan Aman and Gabriel Ciobanu and Robert Gl{\"u}ck and Robin Kaarsgaard and Jarkko Kari and Martin Kutrib and Ivan Lanese and Mezzina, {Claudio Antares} and {\L}ukasz Mikulski and Rajagopal Nagarajan and Iain Phillips and Pinna, {G. Michele} and Luca Prigioniero and Irek Ulidowski and Germ{\'a}n Vidal",
year = "2020",
doi = "10.1007/978-3-030-47361-7_1",
language = "English",
isbn = "9783030473600",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer VS",
pages = "1--40",
editor = "Irek Ulidowski and Ivan Lanese and Schultz, {Ulrik Pagh} and Carla Ferreira",
booktitle = "Reversible Computation",
note = "12th International Conference on Reversible Computation, RC 2020 ; Conference date: 09-07-2020 Through 10-07-2020",
}
RIS
TY - GEN
T1 - Foundations of reversible computation
AU - Aman, Bogdan
AU - Ciobanu, Gabriel
AU - Glück, Robert
AU - Kaarsgaard, Robin
AU - Kari, Jarkko
AU - Kutrib, Martin
AU - Lanese, Ivan
AU - Mezzina, Claudio Antares
AU - Mikulski, Łukasz
AU - Nagarajan, Rajagopal
AU - Phillips, Iain
AU - Pinna, G. Michele
AU - Prigioniero, Luca
AU - Ulidowski, Irek
AU - Vidal, Germán
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-030-47361-7_1
DO - 10.1007/978-3-030-47361-7_1
M3 - Article in proceedings
AN - SCOPUS:85085494583
SN - 9783030473600
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 40
BT - Reversible Computation
A2 - Ulidowski, Irek
A2 - Lanese, Ivan
A2 - Schultz, Ulrik Pagh
A2 - Ferreira, Carla
PB - Springer VS
T2 - 12th International Conference on Reversible Computation, RC 2020
Y2 - 9 July 2020 through 10 July 2020
ER -