Event structures for the reversible early internal π-calculus - Graversen, Eva; Phillips, Iain; Yoshida, Nobuko (Journal of logical and algebraic methods in programming, 2022)
Keywords: 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