On the Expressivity of Symmetry in Event Structures

—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular presheaf category, consisting of presheaves over finite partial orders of events; such presheaves form a model of nondeterministic processes in which the computation paths have the

• Type: Journal
• Year: 2010
• Where: LICS
• Authors: Sam Staton, Glynn Winskel
• Keywords: Automated Reasoning, Event Structures, LICS 2010, Partial Orders, Particular Presheaf Category