September 2008
Visions of Computer Science - BCS International Academic Conference (VOCS)
BCS International Academic Conference
22 - 24 September 2008
Petrinets, Event structures, Unfolding, Symmetry, Spans, Profunctors, Domaintheory, Concurrency
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.
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/