Event Structures with Symmetry

@article{Winskel2007EventSW,
  title={Event Structures with Symmetry},
  author={Glynn Winskel},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2007},
  volume={172},
  pages={611-652}
}
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. 

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.