Towards Bridging Time and Causal Reversibility

DOI10.1007/978-3-030-50086-3_2OpenAlexW3035051918MaRDI QIDQ5041271

Marco Bernardo, Claudio Antares Mezzina

Publication date: 13 October 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-50086-3_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

The reversible temporal process language ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language

Uses Software

• SPADES
• CauDEr

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Turning back time in Markovian process algebra.
• Cauder: a causal-consistent reversible debugger for Erlang
• Reversing steps in membrane systems computations
• A theory of reversibility for Erlang
• Checkpoint/rollback vs causally-consistent reversibility
• Static versus dynamic reversibility in CCS
• Reversing algebraic process calculi
• Quantitative Analysis of Concurrent Reversible Computations
• Reversible Computation vs. Reversibility in Petri Nets
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• Communicating Transactions
• Irreversibility and Heat Generation in the Computing Process
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• A Compositional Approach to Performance Modelling
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory