Back to Search
Start Over
A parametric framework for reversible π-calculi.
- Source :
-
Information & Computation . Dec2020, Vol. 275, pN.PAG-N.PAG. 1p. - Publication Year :
- 2020
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *DATA structures
*CALCULUS
*SEMANTICS
*BOOKKEEPING
Subjects
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 275
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 147203674
- Full Text :
- https://doi.org/10.1016/j.ic.2020.104644