Journal article icon

Journal article

On the determinacy of concurrent games on event structures with infinite winning sets

Abstract:

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-freedom) on the boards where the games are played guarantees determinacy. However the games may no longer be determined when the winning sets are infinite. This paper provides a study of concurrent game...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1016/j.jcss.2014.04.005

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Winskel, G More by this author
Publisher:
Elsevier Publisher's website
Journal:
Journal of Computer and System Sciences Journal website
Volume:
80
Issue:
6
Pages:
1119-1137
Publication date:
2014-09-01
DOI:
EISSN:
1090-2724
ISSN:
0022-0000
Pubs id:
pubs:562434
URN:
uri:c5263612-c3d7-4235-9de6-cd730c991944
UUID:
uuid:c5263612-c3d7-4235-9de6-cd730c991944
Local pid:
pubs:562434
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP