Skip to main content

Event structures with symmetry: towards a domain theory for concurrency

Dr Sam Staton ( PPS, Paris VII )

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: