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

@inproceedings{Graversen:2020:10.1007/978-3-030-52482-1_4,
author = {Graversen, E and Phillips, I and Yoshida, N},
doi = {10.1007/978-3-030-52482-1_4},
pages = {71--90},
publisher = {Springer Verlag},
title = {Event structures for the reversible early internal pi-calculus},
url = {http://dx.doi.org/10.1007/978-3-030-52482-1_4},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - The pi-calculus is a widely used process calculus, which models com-munications between processes and allows the passing of communication links.Various operational semantics of the pi-calculus have been proposed, which canbe classified according to whether transitions are unlabelled (so-called reductions)or labelled. With labelled transitions, we can distinguish early and late semantics.The early version allows a process to receive names it already knows from the en-vironment, while the late semantics and reduction semantics do not. All existingreversible versions of the pi-calculus use reduction or late semantics, despite theearly semantics of the (forward-only) pi-calculus being more widely used than thelate. We define piIH, the first reversible early pi-calculus, and give it a denotationalsemantics in terms of reversible bundle event structures. The new calculus is a re-versible form of the internal pi-calculus, which is a subset of the pi-calculus whereevery link sent by an output is private, yielding greater symmetry between inputsand outputs.
AU  - Graversen,E
AU  - Phillips,I
AU  - Yoshida,N
DO  - 10.1007/978-3-030-52482-1_4
EP  - 90
PB  - Springer Verlag
PY  - 2020///
SN  - 0302-9743
SP  - 71
TI  - Event structures for the reversible early internal pi-calculus
UR  - http://dx.doi.org/10.1007/978-3-030-52482-1_4
UR  - https://link.springer.com/chapter/10.1007/978-3-030-52482-1_4
UR  - http://hdl.handle.net/10044/1/78463
ER  -
Download