Event structures with symmetry: towards a domain theory for concurrency
Dr Sam Staton ( PPS, Paris VII )
- 14:00 5th November 2010 ( week 3, Michaelmas Term 2010 )Lecture Theatre B, Computing Laboratory
A promising proposal for a "domain theory for concurrency" is to understand presheaf categories as generalized domains. In recent work with Glynn Winskel (LICS 2010) I have shown that "event structures with symmetry" form a presheaf category.
As well as presenting my recent work on event structures, I plan to give a bit of an introduction to this domain theory for concurrency.
Share this:
