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

https://hal.archives-ouvertes.fr/hal-01302713
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

main.pdf
Files produced by the author(s)

Identifiers

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

Citation

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

Share

Metrics

Record views

195

Files downloads

56