Towards bridging time and causal reversibility

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Reversing algebraic process calculi
• Title not available (Why is that?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• Irreversibility and Heat Generation in the Computing Process
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compositional semantics for the reversible \(\pi\)-calculus
• CONCUR 2004 - Concurrency Theory
• Concurrent flexible reversibility
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory
• A Compositional Approach to Performance Modelling
• Turning back time in Markovian process algebra.
• Communicating transactions (extended abstract)
• Quantitative Analysis of Concurrent Reversible Computations
• 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
• Reversible computation vs. reversibility in Petri nets

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
• Title not available (Why is that?)
• Unifying theories of time with generalised reactive processes
• Causal reversibility implies time reversibility

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)