| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424403 | Electronic Notes in Theoretical Computer Science | 2007 | 42 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
