On the determinacy of concurrent games on event structures with infinite winning sets
We consider nondeterministic concurrent games played on event structures and study their determinacy problem—the existence of winning strategies. It is known that when the winning conditions of the games are characterised by a collection of finite winning sets/plays, a restriction (called race-freed...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2014
|