Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity

DOI10.1007/978-3-031-42626-1_2MaRDI QIDQ6536425

Claudio Antares Mezzina, Marco Bernardo

Publication date: 3 May 2024

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other nonclassical models of computation (68Q09)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• A timed model for communicating sequential processes
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Cauder: a causal-consistent reversible debugger for Erlang
• Reversing steps in membrane systems computations
• Physical foundations of Landauer's principle
• Checkpoint/rollback vs causally-consistent reversibility
• Absolute versus relative time in process algebras.
• A process algebra for timed systems
• Timing and causality in process algebra
• Static versus dynamic reversibility in CCS
• The reversible temporal process language
• An axiomatic approach to reversible computation
• Real time process algebra
• Reversing algebraic process calculi
• A Verification Technique for Reversible Process Algebra
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Communicating Transactions
• Irreversibility and Heat Generation in the Computing Process
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

This page was built for publication: Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity

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