Event structure semantics of (controlled) reversible CCS
From MaRDI portal
Publication:5916280
DOI10.1007/978-3-319-99498-7_7OpenAlexW2888681406MaRDI QIDQ5916280
Eva Graversen, Nobuko Yoshida, Iain Phillips
Publication date: 17 October 2018
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-99498-7_7
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)
Related Items
Towards a categorical representation of reversible event structures ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Unnamed Item
This page was built for publication: Event structure semantics of (controlled) reversible CCS
