A Modular Formalization of Reversibility for Concurrent Models and Languages

A Modular Formalization of Reversibility for Concurrent Models and Languages

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 d...

Full description

Bibliographic Details
Main Authors: Alexis Bernadet, Ivan Lanese
Format: Article
Language:English
Published: Open Publishing Association 2016-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1608.03325v1
id doaj-e4da41ada257433daec58782f61c4065
record_format Article
spelling doaj-e4da41ada257433daec58782f61c40652020-11-25T01:30:43ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-08-01223Proc. ICE 20169811210.4204/EPTCS.223.7:8A Modular Formalization of Reversibility for Concurrent Models and LanguagesAlexis Bernadet0Ivan Lanese1 Dalhousie University, Canada Focus Team, University of Bologna/INRIA, Italy 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.http://arxiv.org/pdf/1608.03325v1
collection DOAJ
language English
format Article
sources DOAJ
author Alexis Bernadet
Ivan Lanese
spellingShingle Alexis Bernadet
Ivan Lanese
A Modular Formalization of Reversibility for Concurrent Models and Languages
Electronic Proceedings in Theoretical Computer Science
author_facet Alexis Bernadet
Ivan Lanese
author_sort Alexis Bernadet
title A Modular Formalization of Reversibility for Concurrent Models and Languages
title_short A Modular Formalization of Reversibility for Concurrent Models and Languages
title_full A Modular Formalization of Reversibility for Concurrent Models and Languages
title_fullStr A Modular Formalization of Reversibility for Concurrent Models and Languages
title_full_unstemmed A Modular Formalization of Reversibility for Concurrent Models and Languages
title_sort modular formalization of reversibility for concurrent models and languages
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-08-01
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.
url http://arxiv.org/pdf/1608.03325v1
work_keys_str_mv AT alexisbernadet amodularformalizationofreversibilityforconcurrentmodelsandlanguages
AT ivanlanese amodularformalizationofreversibilityforconcurrentmodelsandlanguages
AT alexisbernadet modularformalizationofreversibilityforconcurrentmodelsandlanguages
AT ivanlanese modularformalizationofreversibilityforconcurrentmodelsandlanguages
_version_ 1725090358398812160

Similar Items