Modelling of Bonding with Processes and Events

DOI10.1007/978-3-642-38986-3_12MaRDI QIDQ2868444zbMATH OpenOpenAlexFDO

Authors Iain Phillips, Irek Ulidowski, 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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40)

Recommendations

• scientific article; zbMATH DE number 67509
• Modeling event structures*
• BOND GRAPH MODELLING—A GENERAL SYSTEM THEORY APPROACH
• scientific article; zbMATH DE number 3860468
• Modelling as a process
• scientific article; zbMATH DE number 4037184
• Binding modalities

Cited in

(15)

• Concurrent semantics for fusions: weak prime domains and connected event structures
• A parametric framework for reversible \(\pi\)-calculi
• Towards a categorical representation of reversible event structures
• Reversible computation in nets with bonds
• A collective interpretation semantics for reversing Petri nets
• Towards modelling of local reversibility
• A calculus for local reversibility
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• scientific article; zbMATH DE number 67509 (Why is no real title available?)
• Event structure semantics of (controlled) reversible CCS
• Token multiplicity in reversing Petri nets under the individual token interpretation
• Relating reversible Petri nets and reversible event structures, categorically
• Left-linear rewriting in adhesive categories
• Relating reversible Petri nets and reversible event structures, categorically
• Reversibility and asymmetric conflict in event structures

This page was built for publication: Modelling of Bonding with Processes and Events

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