A Parametric Framework for Reversible Pi-Calculi
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2018-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1808.08655v1 |
id |
doaj-e57a32b6d4c645b1b98dfb6f74387899 |
---|---|
record_format |
Article |
spelling |
doaj-e57a32b6d4c645b1b98dfb6f743878992020-11-25T01:13:35ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802018-08-01276Proc. EXPRESS/SOS 20188710310.4204/EPTCS.276.8:5A Parametric Framework for Reversible Pi-CalculiDoriana MedicClaudio Antares MezzinaIain PhillipsNobuko YoshidaThis paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an 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 show that the (parametric) reversibility induced by our framework is causally-consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics.http://arxiv.org/pdf/1808.08655v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida |
spellingShingle |
Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida A Parametric Framework for Reversible Pi-Calculi Electronic Proceedings in Theoretical Computer Science |
author_facet |
Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida |
author_sort |
Doriana Medic |
title |
A Parametric Framework for Reversible Pi-Calculi |
title_short |
A Parametric Framework for Reversible Pi-Calculi |
title_full |
A Parametric Framework for Reversible Pi-Calculi |
title_fullStr |
A Parametric Framework for Reversible Pi-Calculi |
title_full_unstemmed |
A Parametric Framework for Reversible Pi-Calculi |
title_sort |
parametric framework for reversible pi-calculi |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2018-08-01 |
description |
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an 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 show that the (parametric) reversibility induced by our framework is causally-consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics. |
url |
http://arxiv.org/pdf/1808.08655v1 |
work_keys_str_mv |
AT dorianamedic aparametricframeworkforreversiblepicalculi AT claudioantaresmezzina aparametricframeworkforreversiblepicalculi AT iainphillips aparametricframeworkforreversiblepicalculi AT nobukoyoshida aparametricframeworkforreversiblepicalculi AT dorianamedic parametricframeworkforreversiblepicalculi AT claudioantaresmezzina parametricframeworkforreversiblepicalculi AT iainphillips parametricframeworkforreversiblepicalculi AT nobukoyoshida parametricframeworkforreversiblepicalculi |
_version_ |
1725161383249575936 |