Static VS Dynamic Reversibility in CCS

DOI10.1007/978-3-319-40578-0_3zbMath1476.68180OpenAlexW2487545234MaRDI QIDQ3186583

Claudio Antares Mezzina, Doriana Medić

Publication date: 10 August 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/3526/1/rc2016.pdfrc2016.pdf

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)

Related Items (7)

Reversibility in session-based concurrency: a fresh look ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ Static versus dynamic reversibility in CCS ⋮ Event structure semantics of (controlled) reversible CCS

Cites Work

• Unnamed Item
• A calculus of communicating systems
• Reversing algebraic process calculi
• A Verification Technique for Reversible Process Algebra
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Static VS Dynamic Reversibility in CCS