Games and Strategies as Event Structures

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.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

Cited literature [30 references]  Display  Hide  Download
Contributor : Pierre Clairambault <>
Submitted on : Tuesday, May 16, 2017 - 11:19:14 AM
Last modification on : Thursday, October 4, 2018 - 1:15:41 AM
Document(s) archivé(s) le : Friday, August 18, 2017 - 12:16:47 AM


Files produced by the author(s)


  • HAL Id : hal-01302713, version 3
  • ARXIV : 1604.04390


Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel. Games and Strategies as Event Structures. 2017. ⟨hal-01302713v3⟩



Record views


Files downloads