|
Event Structures as Presheaves--Two Representation Theorems
Glynn Winskel March 1999 |
Abstract:
The category of event structures is known to embed fully and
faithfully in the category of presheaves over pomsets. Here a
characterisation of the presheaves represented by event structures is
presented. The proof goes via a characterisation of the presheaves
represented by event structures when the morphisms on event structures are
``strict'' in that they preserve the partial order of causal
dependency
Available as PostScript, PDF, DVI. |