Games and strategies as event structures

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Research output: Contribution to journalArticle

9 Citations (Scopus)
1 Downloads (Pure)

Abstract

In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation.

Original languageEnglish
Article number35
Number of pages49
JournalLogical Methods in Computer Science
Volume13
Issue number3
DOIs
Publication statusPublished - 28 Sep 2017

Keywords

  • concurrency
  • event structures
  • games

Fingerprint Dive into the research topics of 'Games and strategies as event structures'. Together they form a unique fingerprint.

Cite this