A parametric framework for reversible π-calculi - Archive ouverte HAL
Article Dans Une Revue Information and Computation Année : 2020

A parametric framework for reversible π-calculi

Résumé

This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in π-calculus, which differ in the treatment of parallel extrusions of the same name. Hence, by using a parametric way of bookkeeping the order and the dependencies among extruders it is possible to map different causal semantics into the same framework. Starting from this simple observation, we present a uniform framework for reversible π-calculi that is parametric with respect to a data structure that stores information about the extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We prove causal-consistency for the three instances of our framework. Furthermore, we prove a causal correspondence between the appropriate instances of the framework and the Boreale-Sangiorgi semantics and an operational correspondence with the reversible π-calculus causal semantics.

Dates et versions

hal-03132462 , version 1 (05-02-2021)

Identifiants

Citer

Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida. A parametric framework for reversible π-calculi. Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩. ⟨hal-03132462⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

More