Skip to Main content Skip to Navigation
Journal articles

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 :
Journal articles
Complete list of metadatas

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 : Wednesday, November 20, 2019 - 2:33:14 AM
Document(s) archivé(s) le : Friday, August 18, 2017 - 12:16:47 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

Citation

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel. Games and Strategies as Event Structures. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩. ⟨hal-01302713v3⟩

Share

Metrics

Record views

239

Files downloads

81