University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Event structures for dummies

Event structures for dummies

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity