A mathematical game semantics of concurrency and nondeterminism

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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 languageEnglish
Title of host publicationTheoretical Aspects of Computing – ICTAC 2015
Subtitle of host publication12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings
EditorsMartin Leucker, Camilo Rueda, Frank D. Valencia
Place of PublicationCham Switzerland
PublisherSpringer
Pages597-607
Number of pages11
ISBN (Electronic)9783319251509
ISBN (Print)9783319251493
DOIs
Publication statusPublished - 2015
Externally publishedYes
EventInternational Colloquium on Theoretical Aspects of Computing 2015 - Cali, Colombia
Duration: 29 Oct 201531 Oct 2015
Conference number: 12th
http://www.ictac2015.co

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9399
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Colloquium on Theoretical Aspects of Computing 2015
Abbreviated titleICTAC 2015
Country/TerritoryColombia
CityCali
Period29/10/1531/10/15
Internet address

Keywords

  • Closure operators
  • Concurrent games
  • Event structures

Cite this