Imperial College London
Alternate

DrIainPhillips

Faculty of Engineering, Department of Computing

Senior Lecturer - Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8265i.phillips Website

 
 
//

Location

 

427Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Phillips:2013:10.1007/978-3-642-38986-3_12,
author = {Phillips, I and Ulidowski, I and Yuen, S},
doi = {10.1007/978-3-642-38986-3_12},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {141--154},
title = {Modelling of bonding with processes and events},
url = {http://dx.doi.org/10.1007/978-3-642-38986-3_12},
volume = {7948 LNCS},
year = {2013}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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.
AU  - Phillips,I
AU  - Ulidowski,I
AU  - Yuen,S
DO  - 10.1007/978-3-642-38986-3_12
EP  - 154
PY  - 2013///
SN  - 0302-9743
SP  - 141
TI  - Modelling of bonding with processes and events
T2  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UR  - http://dx.doi.org/10.1007/978-3-642-38986-3_12
VL  - 7948 LNCS
ER  -
Download