Towards a Truly Concurrent Semantics for Reversible CCS

DOI10.1007/978-3-030-79837-6_7OpenAlexW3173890928MaRDI QIDQ5162605

Hernán 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

Petri netsconcurrencyreversible CCS

Mathematics Subject Classification ID

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

Related Items (5)

The reversible temporal process language ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ A Petri net view of covalent bonds

Cites Work

• Unnamed Item
• Unnamed Item
• A distributed operational semantics of CCS based on condition/event systems
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Flow models of distributed computations: Three equivalent semantics for CCS
• Static versus dynamic reversibility in CCS
• Reversible occurrence nets and causal reversible prime event structures
• Reversing algebraic process calculi
• A Verification Technique for Reversible Process Algebra
• CONCUR 2004 - Concurrency Theory
• Event structure semantics of (controlled) reversible CCS
• Event structure semantics of (controlled) reversible CCS
• Causal ambiguity and partial orders in event structures

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