Conference item icon

Conference item

A mathematical game semantics of concurrency and nondeterminism

Abstract:

Concurrent games as event structures form a partial order model of concurrency where concurrent behaviour is captured by nondeterministic concurrent strategies—a class of maps of event structures. Extended with winning conditions, the model is also able to give semantics to logics of various kinds. An interesting subclass of this game model is the one considering deterministic strategies only, where the induced model of strategies can be fully characterised by closure operators. The model bas...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-25150-9_35

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
European Research Council
Grant:
291528 (“RACE”
Publisher:
Springer International Publishing
Host title:
Theoretical Aspects of Computing - ICTAC 2015. ICTAC 2015
Series:
Lecture Notes in Computer Science
Series number:
9399
Pages:
597-607
Publication date:
2015-12-25
Event title:
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
Event location:
Cali, Colombia
Event website:
http://www.ictac2015.co/
Event start date:
2015-10-29
Event end date:
2015-10-31
DOI:
ISSN:
0302-9743
EISBN:
978-3-319-25150-9
ISBN:
978-3-319-25149-3
Language:
English
Keywords:
Pubs id:
pubs:572664
UUID:
uuid:f53262fd-7144-48ec-85f5-29ac2a7f8793
Local pid:
pubs:572664
Source identifiers:
572664
Deposit date:
2015-11-12

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