Event structures for the reversible early internal π-calculus

• Published in: Journal of logical and algebraic methods in programming Vol. 124; p. 100720
• Main Authors: Graversen, Eva, Phillips, Iain, Yoshida, Nobuko
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2022
• Subjects: Denotational vs operational semantics; Early semantics; Event structures; Reversible computations; Static vs dynamic reversibility; π-Calculus; Event structures; Reversible computations; Static vs dynamic reversibility; Early semantics; Denotational vs operational semantics; π-Calculus

The π-calculus is a widely used process calculus, which models communications between processes and allows the passing of communication links. Various operational semantics of the π-calculus have been proposed, which can be classified according to whether transitions are unlabelled (so-called reduct...