scientific article; zbMATH DE number 7559489

DOI10.4230/LIPIcs.CONCUR.2020.33MaRDI QIDQ5089300

Ivan Lanese, Doriana Medić

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

causalityErlangprocess calculireversible computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

The reversible temporal process language, Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach, revTPL: The Reversible Temporal Process Language, Reversible debugging of concurrent Erlang programs: supporting imperative primitives, Causal-Consistent Debugging of Distributed Erlang Programs, Reversibility in Erlang: imperative constructs

Cites Work

• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Causal-consistent rollback in a tuple-based language
• Models for concurrency: Towards a classification
• Bisimulation for higher-order process calculi
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• From reversible semantics to reversible debugging
• On reversibility and broadcast
• Reversible computation in Petri nets
• Reversible object-oriented programming with region-based memory management (work in progress report)
• A structural approach to operational semantics
• An axiomatic approach to reversible computation
• Reversing algebraic process calculi
• Controlling Reversibility in Higher-Order Pi
• On the Statistical Thermodynamics of Reversible Communicating Processes
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Controlled Reversibility and Compensations
• Irreversibility and Heat Generation in the Computing Process
• Time, clocks, and the ordering of events in a distributed system
• Reversing Transitions in Bounded Petri Nets
• Models, Languages, and Tools for Concurrent and Distributed Programming
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Event structure semantics of (controlled) reversible CCS
• Causal-consistent replay debugging for message passing programs