Start Over

Foundations of Reversible Computation

Authors :: Iain Phillips
Martin Kutrib
Claudio Antares Mezzina
Lukasz Mikulski
Germán Vidal
Bogdan Aman
Robin Kaarsgaard
Jarkko Kari
R. Nagarajan
Gabriel Ciobanu
Ivan Lanese
G. M. Pinna
Irek Ulidowski
Luca Prigioniero
Robert Glück
Ulidowski, I
Lanese, I
Schultz, UP
Ferreira, C
Romanian Academy
Alexandru Ioan Cuza University of Iași [Romania]
University of Copenhagen = Københavns Universitet (UCPH)
University of Turku
Justus-Liebig-Universität Gießen = Justus Liebig University (JLU)
Foundations of Component-based Ubiquitous Systems (FOCUS)
Inria Sophia Antipolis - Méditerranée (CRISAM)
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI)
Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
Alma Mater Studiorum University of Bologna (UNIBO)
Università degli Studi di Urbino 'Carlo Bo'
Nicolaus Copernicus University [Toruń]
Middlesex University [London]
Imperial College London
Università degli Studi di Cagliari = University of Cagliari (UniCa)
Università degli Studi di Milano = University of Milan (UNIMI)
University of Leicester
Universitat Politècnica de València (UPV)
European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015)
University of Copenhagen = Københavns Universitet (KU)
Justus-Liebig-Universität Gießen (JLU)
Universita degli Studi di Cagliari [Cagliari]
Università degli Studi di Milano [Milano] (UNIMI)
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Aman B.
Ciobanu G.
Gluck R.
Kaarsgaard R.
Kari J.
Kutrib M.
Lanese I.
Mezzina C.A.
Mikulski L.
Nagarajan R.
Phillips I.
Pinna G.M.
Prigioniero L.
Ulidowski I.
Vidal G.
Source :: Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600, Selected Results of the COST Action IC1405, Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
Publication Year :: 2020
Publisher :: Springer, 2020.
Abstract: International audience; 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.

Details

ISBN :: 978-3-030-47360-0
ISSN :: 20152019
ISBNs :: 9783030473600
Database :: OpenAIRE
Journal :: Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600, Selected Results of the COST Action IC1405, Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
Accession number :: edsair.doi.dedup.....bb8f8cbe0ef6418b15e3c20dc81f9535
Full Text :: https://doi.org/10.1007/978-3-030-47361-7_1⟩