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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have