Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Medic:2020:10.1016/j.ic.2020.104644,
author = {Medic, D and Mezzina, CA and Phillips, I and Yoshida, N},
doi = {10.1016/j.ic.2020.104644},
journal = {Information and Computation},
title = {A parametric framework for reversible pi-calculi},
url = {http://dx.doi.org/10.1016/j.ic.2020.104644},
volume = {275},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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 forreversibleπ-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.
AU  - Medic,D
AU  - Mezzina,CA
AU  - Phillips,I
AU  - Yoshida,N
DO  - 10.1016/j.ic.2020.104644
PY  - 2020///
SN  - 0890-5401
TI  - A parametric framework for reversible pi-calculi
T2  - Information and Computation
UR  - http://dx.doi.org/10.1016/j.ic.2020.104644
UR  - http://hdl.handle.net/10044/1/83414
VL  - 275
ER  -
Download