Affordable Access

deepdyve-link
Publisher Website

A parametric framework for reversible π-calculi

Authors
  • Medić, Doriana
  • Mezzina, Claudio Antares
  • Phillips, Iain
  • Yoshida, Nobuko
Publication Date
Dec 01, 2020
Identifiers
DOI: 10.1016/j.ic.2020.104644
OAI: oai:HAL:hal-03132462v1
Source
HAL-INRIA
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times