Simon Castellan ; Pierre Clairambault ; Silvain Rideau ; Glynn Winskel - Games and Strategies as Event Structures

lmcs:3966 - Logical Methods in Computer Science, September 29, 2017, Volume 13, Issue 3 - https://doi.org/10.23638/LMCS-13(3:35)2017
Games and Strategies as Event StructuresArticle

Authors: Simon Castellan ; Pierre Clairambault ; Silvain Rideau ; Glynn Winskel

    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.


    Volume: Volume 13, Issue 3
    Published on: September 29, 2017
    Accepted on: September 29, 2017
    Submitted on: September 29, 2017
    Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science
    Funding:
      Source : OpenAIRE Graph
    • Community of mathematics and fundamental computer science in Lyon; Funder: French National Research Agency (ANR); Code: ANR-10-LABX-0070
    • Events, Causality and Symmetry-the next-generation semantics; Funder: European Commission; Code: 267916

    5 Documents citing this article

    Consultation statistics

    This page has been seen 1287 times.
    This article's PDF has been downloaded 475 times.