A Compositional Semantics for the Reversible p-Calculus
From MaRDI portal
Publication:5271076
DOI10.1109/LICS.2013.45zbMath1366.68201OpenAlexW2087066740MaRDI QIDQ5271076
Daniele Varacca, Jean Krivine, Ioana Cristescu
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.45
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Reversibility in the higher-order \(\pi\)-calculus, Reversibility in session-based concurrency: a fresh look, Towards Bridging Time and Causal Reversibility, Reversible effects as inverse arrows, Rigid Families for the Reversible $$\pi $$ -Calculus, A Calculus for Local Reversibility, Reversing Single Sessions, Controlled reversibility in communicating reaction systems, Contextual equivalences in configuration structures and reversibility, The reversible temporal process language, Reversible computation in nets with bonds, Towards a categorical representation of reversible event structures, A stable non-interleaving early operational semantics for the pi-calculus, Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach, Towards a taxonomy for reversible computation approaches, revTPL: The Reversible Temporal Process Language, The correctness of concurrencies in (reversible) concurrent calculi, An axiomatic approach to reversible computation, Specifying reversibility with \(\mathrm{TLA}^+\), Unnamed Item, A parametric framework for reversible \(\pi\)-calculi, Reversible session-based pi-calculus, Join inverse categories and reversible recursion, Causal-consistent rollback in a tuple-based language, Forward-Reverse Observational Equivalences in CCSK, Explicit Identifiers and Contexts in Reversible Concurrent Calculus, A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, Static versus dynamic reversibility in CCS, Unnamed Item, Unnamed Item, A theory of reversibility for Erlang, Event structure semantics of (controlled) reversible CCS, Event structures for the reversible early internal \(\pi\)-calculus, Join Inverse Categories as Models of Reversible Recursion, Towards Modelling of Local Reversibility, Unnamed Item, A Petri net view of covalent bonds, Concurrencies in reversible concurrent calculi, Causal computational complexity of distributed processes
