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.
A modular formalization of reversibility for concurrent models and languages / Bernadet, Alexis; Lanese, Ivan. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 223:(2016), pp. 98-112. (Intervento presentato al convegno 9th Interaction and Concurrency Experience, ICE 2016 tenutosi a Heraklion, Grecia nel 8-9 Giugno 2016) [10.4204/EPTCS.223.7].
A modular formalization of reversibility for concurrent models and languages
BERNADET, ALEXIS;LANESE, IVAN
2016
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.