Towards a Truly Concurrent Semantics for Reversible CCS

DOI10.1007/978-3-030-79837-6_7MaRDI QIDQ5162605zbMATH OpenOpenAlexFDO

Authors Hernan Melgratti, Claudio Antares Mezzina, G. Michele Pinna

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-79837-6_7

zbMATH Keywords

concurrencyPetri netsreversible CCS

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• A calculus of communicating systems
• A distributed operational semantics of CCS based on condition/event systems
• A verification technique for reversible process algebra
• Causal ambiguity and partial orders in event structures
• CONCUR 2004 - Concurrency Theory
• Event structure semantics of (controlled) reversible CCS
• Event structure semantics of (controlled) reversible CCS
• Flow models of distributed computations: Three equivalent semantics for CCS
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• Petri nets, event structures and domains. I
• Reversible occurrence nets and causal reversible prime event structures
• Reversing algebraic process calculi
• Reversing place transition nets
• Static versus dynamic reversibility in CCS

Cited in

(10)

• A Petri net view of covalent bonds
• The reversible temporal process language
• Reversibility in session-based concurrency: a fresh look
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Towards a taxonomy for reversible computation approaches
• revTPL: The Reversible Temporal Process Language
• The correctness of concurrencies in (reversible) concurrent calculi
• A Truly Concurrent Semantics for Reversible CCS
• A truly concurrent semantics for reversible CCS

This page was built for publication: Towards a Truly Concurrent Semantics for Reversible CCS

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