Concurrent Hyland-Ong games

Simon Castellan (1) , Pierre Clairambault (1) , Glynn Winskel (2)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 Computer Laboratory

In this technical report, we build a cartesian closed category of non-deterministic concurrent strategies playing on arenas. We show that this CCC admits as a sub-CCC the standard category of arenas and Hyland-Ong innocent strategies. Our strategies, have much more possible behaviours than standard Hyland-Ong innocent strategies - however the purpose of this technical report is to define our CCC, and we leave for later its use for semantics of programming languages.

Mots clés: concurrency; game semantics; innocent strategies; event structures; symmetry

Domaines: Logique [math.LO]

Simon Castellan, Pierre Clairambault, Glynn Winskel. Concurrent Hyland-Ong games. 2014. ⟨hal-01068769v1⟩