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

Actions


Access Document


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

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
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
Acceptance date:
2014-02-03
DOI:
EISSN:
1090-2724
ISSN:
0022-0000
Source identifiers:
562434
Keywords:
Pubs id:
pubs:562434
UUID:
uuid:c5263612-c3d7-4235-9de6-cd730c991944
Local pid:
pubs:562434
Deposit date:
2017-01-05

Terms of use


Views and Downloads






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

TO TOP