A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

Foundations of reversible computation




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

ToimittajaIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira

Konferenssin vakiintunut nimiInternational Conference on Reversible Computation

KustantajaSpringer

Julkaisuvuosi2020

JournalLecture Notes in Computer Science

Kokoomateoksen nimiRC 2020: Reversible Computation: Extending Horizons of Computing

Tietokannassa oleva lehden nimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Vuosikerta12070

Aloitussivu1

Lopetussivu10

ISBN978-3-030-47360-0

eISBN978-3-030-47361-7

ISSN0302-9743

DOIhttps://doi.org/10.1007/978-3-030-47361-7_1

Rinnakkaistallenteen osoitehttps://research.utu.fi/converis/portal/detail/Publication/48728275


Tiivistelmä

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.


Ladattava julkaisu

This is an electronic reprint of the original article.
This reprint may differ from the original in pagination and typographic detail. Please cite the original version.





Last updated on 2024-26-11 at 12:23