Modelling of bonding with processes and events

Authors:
Iain Phillips;Irek Ulidowski;Shoji Yuen
Affiliations:
Department of Computing, Imperial College London, England;Department of Computer Science, University of Leicester, England;Graduate School of Information Science, Nagoya University, Japan
Venue:
RC'13 Proceedings of the 5th international conference on Reversible Computation
Year:
2013

Citing 11
Cited 0

Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Transactions in RCCS

CONCUR 2005 - Concurrency Theory
Formal Molecular Biology Done in CCS-R

Electronic Notes in Theoretical Computer Science (ENTCS)
Reversibility and Models for Concurrency

Electronic Notes in Theoretical Computer Science (ENTCS)
Configuration structures, event structures and Petri nets

Theoretical Computer Science
Typed event structures and the linear π-calculus

Theoretical Computer Science
Reversing higher-order pi

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Events, Causality and Symmetry

The Computer Journal
Reversible structures

Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Controlling reversibility in higher-order Pi

CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.