Published June 8, 2016
| Version v1
Conference paper
A Modular Formalization of Reversibility for Concurrent Models and Languages
- Creators
- Bernadet, Alexis
- Lanese, Ivan
- Others:
- 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)
- Department of Computer Science and Engineering [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- ANR-11-INSE-0007,REVER,Programmation de systèmes réversibles et sûrs(2011)
- European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015)
Description
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.
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-01337423
- URN
- urn:oai:HAL:hal-01337423v1
- Origin repository
- UNICA