Event Structures with Symmetry
by
Gdp Festschrift
,
Glynn Winskel
BibTeX
@MISC{Festschrift_eventstructures,
author = {Gdp Festschrift and Glynn Winskel},
title = {Event Structures with Symmetry},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
