Skip to Main content Skip to Navigation
New interface
Conference papers

A Modular Formalization of Reversibility for Concurrent Models and Languages

Alexis Bernadet 1 Ivan Lanese 1, 2 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of theories and techniques in different settings.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Sunday, June 26, 2016 - 9:04:45 AM
Last modification on : Thursday, January 20, 2022 - 4:13:45 PM
Long-term archiving on: : Tuesday, September 27, 2016 - 10:22:12 AM


Files produced by the author(s)


  • HAL Id : hal-01337423, version 1



Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE 2016, Jun 2016, Heraklion, Greece. ⟨hal-01337423⟩



Record views


Files downloads