<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Causal-consistent reversibility"^^ . "Reversible computing allows one to execute programs both in the standard,\r\nforward direction, and backward, going back to past states. In a concurrent\r\nscenario, the correct notion of reversibility is causal-consistent reversibility:\r\nany action can be undone, provided that all its consequences (if\r\nany) are undone beforehand. In this paper we present an overview of the\r\nmain approaches, results, and applications of causal-consistent reversibility."^^ . "2014-10" . "114" . . "European association for theorical computer science"^^ . . . "Bulletin of EATCS"^^ . . . . . . . . . . . . . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . . . . "HTML Summary of #2500 \n\nCausal-consistent reversibility\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .