Event structures for the reversible early internal pi-calculus
File(s)paper_24_camera_ready.pdf (344.59 KB)
Accepted version
Author(s)
Graversen, Eva
Phillips, Iain
Yoshida, Nobuko
Type
Conference Paper
Abstract
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.
Date Issued
2020-07-09
Date Acceptance
2020-03-20
Citation
Lecture Notes in Computer Science, 2020, pp.71-90
ISSN
0302-9743
Publisher
Springer Verlag
Start Page
71
End Page
90
Journal / Book Title
Lecture Notes in Computer Science
Copyright Statement
© Springer Nature Switzerland AG 2020. The final publication is available at Springer via https://doi.org/10.1007/978-3-030-52482-1_4
Identifier
https://link.springer.com/chapter/10.1007/978-3-030-52482-1_4
Source
Twelfth International Conference on Reversible Computation
Subjects
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2020-07-09
Finish Date
2020-07-10
Coverage Spatial
Oslo, Norway
Date Publish Online
2020-07-09