scientific article; zbMATH DE number 7559489

DOI10.4230/LIPICS.CONCUR.2020.33MaRDI QIDQ5089300zbMATH OpenFDO

Authors Ivan Lanese, Doriana Medić

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2020.33

zbMATH Keywords

causalityErlangprocess calculireversible computing

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(7)

• Reversibility in Erlang: imperative constructs
• The reversible temporal process language
• Causal-Consistent Debugging of Distributed Erlang Programs
• 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
• An axiomatic theory for reversible computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089300)