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.
Type de document :
Communication dans un congrès
ICE 2016, Jun 2016, Heraklion, Greece. EPTCS
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01337423
Contributeur : Ivan Lanese <>
Soumis le : dimanche 26 juin 2016 - 09:04:45
Dernière modification le : mercredi 10 octobre 2018 - 10:09:08
Document(s) archivé(s) le : mardi 27 septembre 2016 - 10:22:12

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. EPTCS. 〈hal-01337423〉

Partager

Métriques

Consultations de la notice

143

Téléchargements de fichiers

46