19/10/2006
Glynn Winskel (Cambridge University)
Event structures with symmetry

I'll motivate the introduction of symmetry to event structures and sketch applications: to non-deterministic dataflow; the unfolding of Petri nets; the semantics of higher-order processes; equivalences on event structures; equivalences