Games and Strategies as Event Structures - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2017

Games and Strategies as Event Structures

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (466.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01302713 , version 1 (14-04-2016)
hal-01302713 , version 2 (05-01-2017)
hal-01302713 , version 3 (16-05-2017)

Identifiants

Citer

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel. Games and Strategies as Event Structures. 2017. ⟨hal-01302713v2⟩
444 Consultations
159 Téléchargements

Altmetric

Partager

More