A Modular Formalization of Reversibility for Concurrent Models and Languages

11 Aug 2016  ·  Bernadet Alexis Dalhousie University, Canada, Lanese Ivan 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. read more

PDF Abstract
No code implementations yet. Submit your code now


Logic in Computer Science Programming Languages


  Add Datasets introduced or used in this paper