A Modular Formalization of Reversibility for Concurrent Models and Languages

Alexis Bernadet
(Dalhousie University, Canada)
Ivan Lanese
(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.

In Massimo Bartoletti, Ludovic Henrio, Sophia Knight and Hugo Torres Vieira: Proceedings 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, Greece, 8-9 June 2016, Electronic Proceedings in Theoretical Computer Science 223, pp. 98–112.
Published: 10th August 2016.

ArXived at: https://dx.doi.org/10.4204/EPTCS.223.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org