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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

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

• A Compositional Approach to Performance Modelling
• A compositional semantics for the reversible -calculus
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A theory of reversibility for Erlang
• An algebraic interpretation of the K-calculus; and an application of a labelled -calculus
• Cauder: a causal-consistent reversible debugger for Erlang
• Checkpoint/rollback vs causally-consistent reversibility
• Communicating transactions (extended abstract)
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrent flexible reversibility
• 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?)
• 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 algebraic process calculi
• Reversing Higher-Order Pi
• Reversing steps in membrane systems computations
• Static versus dynamic reversibility in CCS
• Turning back time in Markovian process algebra.

Cited in

(11)

• Unifying theories of time with generalised reactive processes
• On reversibility and broadcast
• The reversible temporal process language
• scientific article; zbMATH DE number 2070206 (Why is no real title available?)
• Causal-consistent reversibility
• 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
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Causal reversibility implies time reversibility

Describes a project that uses

Uses Software

• SPADES
• CauDEr

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)