Concurrent Games

Simon Castellan (1) , Pierre Clairambault (1) , Silvain Rideau (2) , Glynn Winskel (3)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 Department of Mathematics [Berkeley]
3 Computer Laboratory [Cambridge]

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.

Domaines: Logique [math.LO]

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel. Concurrent Games. 2016. ⟨hal-01302713v1⟩