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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01337423
Contributor : Ivan Lanese <>
Submitted on : Sunday, June 26, 2016 - 9:04:45 AM
Last modification on : Wednesday, October 10, 2018 - 10:09:08 AM
Long-term archiving on : Tuesday, September 27, 2016 - 10:22:12 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01337423, version 1

Collections

Citation

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

Share

Metrics

Record views

168

Files downloads

116