A mathematical game semantics of concurrency and nondeterminism

Julian Gutierrez

doi:10.1007/978-3-319-25150-9_35

A mathematical game semantics of concurrency and nondeterminism

Julian Gutierrez

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

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 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.

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2015
Subtitle of host publication	12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings
Editors	Martin Leucker, Camilo Rueda, Frank D. Valencia
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	597-607
Number of pages	11
ISBN (Electronic)	9783319251509
ISBN (Print)	9783319251493
DOIs	https://doi.org/10.1007/978-3-319-25150-9_35
Publication status	Published - 2015
Externally published	Yes
Event	International Colloquium on Theoretical Aspects of Computing 2015 - Cali, Colombia Duration: 29 Oct 2015 → 31 Oct 2015 Conference number: 12th http://www.ictac2015.co

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9399
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Colloquium on Theoretical Aspects of Computing 2015
Abbreviated title	ICTAC 2015
Country/Territory	Colombia
City	Cali
Period	29/10/15 → 31/10/15
Internet address	http://www.ictac2015.co

Keywords

Closure operators
Concurrent games
Event structures

Access to Document

10.1007/978-3-319-25150-9_35

Cite this

Gutierrez, J. (2015). A mathematical game semantics of concurrency and nondeterminism. In M. Leucker, C. Rueda, & F. D. Valencia (Eds.), Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings (pp. 597-607). (Lecture Notes in Computer Science ; Vol. 9399). Springer. https://doi.org/10.1007/978-3-319-25150-9_35

@inproceedings{eaae208181684c5c8c3021e907a5a0f7,

title = "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 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.",

keywords = "Closure operators, Concurrent games, Event structures",

author = "Julian Gutierrez",

year = "2015",

doi = "10.1007/978-3-319-25150-9_35",

language = "English",

isbn = "9783319251493",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "597--607",

editor = "Martin Leucker and Camilo Rueda and Valencia, {Frank D.}",

booktitle = "Theoretical Aspects of Computing – ICTAC 2015",

address = "Switzerland",

note = "International Colloquium on Theoretical Aspects of Computing 2015, ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",

url = "http://www.ictac2015.co",

}

Gutierrez, J 2015, A mathematical game semantics of concurrency and nondeterminism. in M Leucker, C Rueda & FD Valencia (eds), Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Lecture Notes in Computer Science , vol. 9399, Springer, Cham Switzerland, pp. 597-607, International Colloquium on Theoretical Aspects of Computing 2015, Cali, Colombia, 29/10/15. https://doi.org/10.1007/978-3-319-25150-9_35

A mathematical game semantics of concurrency and nondeterminism. / Gutierrez, Julian.
Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. ed. / Martin Leucker; Camilo Rueda; Frank D. Valencia. Cham Switzerland: Springer, 2015. p. 597-607 (Lecture Notes in Computer Science ; Vol. 9399).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A mathematical game semantics of concurrency and nondeterminism

AU - Gutierrez, Julian

N1 - Conference code: 12th

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Closure operators

KW - Concurrent games

KW - Event structures

UR - http://www.scopus.com/inward/record.url?scp=84951934729&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-25150-9_35

DO - 10.1007/978-3-319-25150-9_35

M3 - Conference Paper

AN - SCOPUS:84951934729

SN - 9783319251493

T3 - Lecture Notes in Computer Science

SP - 597

EP - 607

BT - Theoretical Aspects of Computing – ICTAC 2015

A2 - Leucker, Martin

A2 - Rueda, Camilo

A2 - Valencia, Frank D.

PB - Springer

CY - Cham Switzerland

T2 - International Colloquium on Theoretical Aspects of Computing 2015

Y2 - 29 October 2015 through 31 October 2015

ER -

Gutierrez J. A mathematical game semantics of concurrency and nondeterminism. In Leucker M, Rueda C, Valencia FD, editors, Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Cham Switzerland: Springer. 2015. p. 597-607. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-319-25150-9_35

A mathematical game semantics of concurrency and nondeterminism

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this