Events, Causality and Symmetry
Glynn Winskel · The Computer Journal · 2009
The article discusses causal models, such as Petri nets and event structures, how they have been rediscovered in a wide variety of recent applications and why they are fundamental to computer science. A discussion of their present limitations leads to their extension with symmetry. The consequences, actual and potential, are discussed.