Event Structures with Symmetry
Glynn Winskel · Electronic Notes in Theoretical Computer Science · 2007
category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.