Modelling of Bonding with Processes and Events
From MaRDI portal
Publication:2868444
DOI10.1007/978-3-642-38986-3_12zbMath1406.68029OpenAlexW169695028MaRDI QIDQ2868444
Irek Ulidowski, Iain Phillips, Shoji Yuen
Publication date: 17 December 2013
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38986-3_12
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40)
Related Items (11)
A Calculus for Local Reversibility ⋮ Reversible computation in nets with bonds ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a categorical representation of reversible event structures ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Towards Modelling of Local Reversibility
This page was built for publication: Modelling of Bonding with Processes and Events
