Winning, losing and drawing in concurrent games with perfect or imperfect information
Logic and Program Semantics
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Modelling of bonding with processes and events
RC'13 Proceedings of the 5th international conference on Reversible Computation
Hi-index | 0.00 |
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.