Sciweavers

LICS
2010
IEEE

On the Expressivity of Symmetry in Event Structures

13 years 10 months ago
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
Sam Staton, Glynn Winskel
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LICS
Authors Sam Staton, Glynn Winskel
Comments (0)