Static VS Dynamic Reversibility in CCS

DOI10.1007/978-3-319-40578-0_3MaRDI QIDQ3186583zbMATH OpenOpenAlexFDO

Authors Doriana Medić, Claudio Antares Mezzina

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)

Recommendations

• Static versus dynamic reversibility in CCS
• Controlled reversibility in reaction systems
• Reversibility and irreversibility in stochastic chemical kinetics
• scientific article; zbMATH DE number 1532079
• Controlled Reversibility and Compensations
• Reversible mixed dynamics: a concept and examples
• scientific article; zbMATH DE number 4018372
• Towards modelling of local reversibility
• Reversible systems
• Reversibility in dynamic coordination problems

Cites work

• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A calculus of communicating systems
• A verification technique for reversible process algebra
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrent flexible reversibility
• Irreversibility and Heat Generation in the Computing Process
• Reversing algebraic process calculi
• The -calculus: A theory of mobile processes

Cited in

(10)

• CONCUR 2004 - Concurrency Theory
• The \(C_\pi\)-calculus: a model for confidential name passing
• Static versus dynamic reversibility in CCS
• Reversibility in session-based concurrency: a fresh look
• A parametric framework for reversible \(\pi\)-calculi
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• General reversibility
• Event structure semantics of (controlled) reversible CCS
• Forward-reverse observational equivalences in CCSK

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

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