Event Structures with Symmetry

A 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.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Glynn Winskel
• Keywords: Categorical Properties, ENTCS 2007, Event Structures, Event-structure Semantics