Towards bridging time and causal reversibility

DOI10.1007/978-3-030-50086-3_2MaRDI QIDQ5041271zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Causal-consistent reversibility
• A modular formalization of reversibility for concurrent models and languages
• On reversibility and broadcast
• Relative expressiveness of calculi for reversible concurrency
• A parametric framework for reversible \(\pi\)-calculi

Cites work

• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3656855 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3522951 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A compositional semantics for the reversible \(\pi\)-calculus
• A theory of reversibility for Erlang
• An algebraic interpretation of the K-calculus; and an application of a labelled -calculus
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Cauder: a causal-consistent reversible debugger for Erlang
• Checkpoint/rollback vs causally-consistent reversibility
• Communicating transactions (extended abstract)
• Concurrent flexible reversibility
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• Quantitative Analysis of Concurrent Reversible Computations
• Reversible computation vs. reversibility in Petri nets
• Reversing Higher-Order Pi
• Reversing algebraic process calculi
• Reversing steps in membrane systems computations
• Static versus dynamic reversibility in CCS
• Turning back time in Markovian process algebra.

Cited in

(11)

• Causal-consistent reversibility
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Towards a taxonomy for reversible computation approaches
• revTPL: The Reversible Temporal Process Language
• On reversibility and broadcast
• Reverse bisimilarity vs. forward bisimilarity
• The reversible temporal process language
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• scientific article; zbMATH DE number 2070206 (Why is no real title available?)
• Unifying theories of time with generalised reactive processes
• Causal reversibility implies time reversibility

Describes a project that uses

Uses Software

• CauDEr
• SPADES

This page was built for publication: Towards bridging time and causal reversibility

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