Static versus dynamic reversibility in CCS

DOI10.1007/S00236-019-00346-6MaRDI QIDQ2022303zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Lanese, Doriana Medić, Claudio Antares Mezzina

Publication date 28 April 2021

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11585/739195

zbMATH Keywords

process algebrasformal semanticsprocess calculiconcurrent computationreversible calculi

Mathematics Subject Classification ID

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

Recommendations

• Static VS Dynamic Reversibility in CCS
• Relative expressiveness of calculi for reversible concurrency
• CONCUR 2004 - Concurrency Theory
• Contextual equivalences in configuration structures and reversibility
• Reversibility and models for concurrency

Cites work

• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A calculus for local reversibility
• A calculus of communicating systems
• A compositional semantics for the reversible \(\pi\)-calculus
• A fully abstract semantics for causality in the π-calculus
• A parametric framework for reversible \(\pi\)-calculi
• A verification technique for reversible process algebra
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent reversibility
• Causal-consistent rollback in a tuple-based language
• Concurrent flexible reversibility
• Contextual equivalences in configuration structures and reversibility
• Event structure semantics of (controlled) reversible CCS
• Event structure semantics of parallel extrusion in the pi-calculus
• Flow models of distributed computations: Three equivalent semantics for CCS
• Irreversibility and Heat Generation in the Computing Process
• Parallel product of event structures
• Reversibility and models for concurrency
• Reversibility in the higher-order \(\pi\)-calculus
• Reversing Higher-Order Pi
• Reversing algebraic process calculi
• Rigid families for the reversible \(\pi \)-calculus
• Self-assembling trees
• Static VS Dynamic Reversibility in CCS
• Towards modelling of local reversibility

Cited in

(19)

• Towards bridging time and causal reversibility
• Concurrencies in reversible concurrent calculi
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Event structure semantics of (controlled) reversible CCS
• CONCUR 2004 - Concurrency Theory
• Event structures for the reversible early internal \(\pi\)-calculus
• revTPL: The Reversible Temporal Process Language
• Reversibility and models for concurrency
• Static VS Dynamic Reversibility in CCS
• scientific article; zbMATH DE number 7559463 (Why is no real title available?)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Towards a Truly Concurrent Semantics for Reversible CCS
• General reversibility
• Event structure semantics of (controlled) reversible CCS
• Processes, systems \& tests: defining contextual equivalences
• Forward-reverse observational equivalences in CCSK
• The reversible temporal process language
• Relating reversible Petri nets and reversible event structures, categorically
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity

Describes a project that uses

Uses Software

• CauDEr

This page was built for publication: Static versus dynamic reversibility in CCS

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