Irek Ulidowski from University of Leicester visits us

Irek Ulidowski (, from University of Leicester, visits us and gives the talk "Modelling of bonding with processes and events".

We introduce two forms of modelling of systems that consist of objects
that combine together by the means of bonds. In reaction systems for
bonding we define how bonds are created and dissolved via a
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.