Logo eprints

Causal-consistent reversibility

Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (2014)

Full text not available from this repository.


Reversible computing allows one to execute programs both in the standard, forward direction, and backward, going back to past states. In a concurrent scenario, the correct notion of reversibility is causal-consistent reversibility: any action can be undone, provided that all its consequences (if any) are undone beforehand. In this paper we present an overview of the main approaches, results, and applications of causal-consistent reversibility.

Item Type: Article
Projects: This work has been partially supported by the MIUR PRIN project CINA n. 2010LHT4KM
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 16 Jan 2015 09:54
Last Modified: 16 Jan 2015 09:54
URI: http://eprints.imtlucca.it/id/eprint/2500

Actions (login required)

Edit Item Edit Item