Concurrent Games - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2016

Concurrent Games

Résumé

In 2011, Rideau and Winskel introduced concurrent games on event structures, generalizing prior work on causal formulations for 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-strategies playing on event structures and a characterisation of those (called 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 (498.4 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. Concurrent Games. 2016. ⟨hal-01302713v1⟩
444 Consultations
159 Téléchargements

Altmetric

Partager

More