A mathematical game semantics of concurrency and nondeterminism

Conference item

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 based on closure operators exposes many interesting mathematical properties and allows one to define connections with many other semantic models where closure operators are also used. However, such a closure operator semantics has not been investigated in the more general nondeterministic case. Here we do so, and show that some nondeterministic concurrent strategies can be characterised by a new definition of nondeterministic closure operators which agrees with the standard game model for event structures and with its extension with winning conditions.

Authors: Gutierrez, J

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Springer International Publishing
• Host title: Theoretical Aspects of Computing - ICTAC 2015. ICTAC 2015
• Pages: 597-607
• Series: Lecture Notes in Computer Science
• Series number: 9399
• 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: 10.1007/978-3-319-25150-9_35
• ISSN: 0302-9743
• EISBN: 978-3-319-25150-9
• ISBN: 978-3-319-25149-3
• Language: English
• Keywords: event structures; concurrent games; closure operators