Abstract

Within the field of concurrency one quickly realises that there is more to models than just a sequence of actions the system may take. In particular partial order models proved to be very powerful. One such model is event structures. We are going to take a slow paced look at event structures and the neat categorical picture they present.

We are going to cover: – Definition of event structures and their configurations – Extend these to games – Some (hopefully) motivating examples along the way

We may cover – Some of the current issues – A language of strategies

The prerequisites: – partial orders – very basic category theory (limits, adjunctions, nothing beyond the basic category theory course for MPhil/Part III )