Event structures for dummies

Add to your list(s) Download to your calendar using vCal

• Tamas Kispeter (University of Cambridge)
• Friday 06 May 2016, 11:30-12:30
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Ian Orton.

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 )

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.