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.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01302713
Contributeur : Pierre Clairambault <>
Soumis le : mardi 16 mai 2017 - 11:19:14
Dernière modification le : jeudi 4 octobre 2018 - 01:15:41
Document(s) archivé(s) le : vendredi 18 août 2017 - 00:16:47

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

186

Téléchargements de fichiers

53