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. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Phillips, I., Ulidowski, I., & Yuen, S. (2013). Modelling of bonding with processes and events. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7948 LNCS, pp. 141–154). Springer Verlag. https://doi.org/10.1007/978-3-642-38986-3_12
Mendeley helps you to discover research relevant for your work.