A Modular Formalization of Reversibility for Concurrent Models and Languages - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

A Modular Formalization of Reversibility for Concurrent Models and Languages

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (281.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01337423 , version 1 (26-06-2016)

Identifiants

  • HAL Id : hal-01337423 , version 1

Citer

Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE 2016, Jun 2016, Heraklion, Greece. ⟨hal-01337423⟩
90 Consultations
77 Téléchargements

Partager

More