Authors: Simon Castellan ; Pierre Clairambault ; Silvain Rideau ; Glynn Winskel
NULL##NULL##NULL##NULL
Simon Castellan;Pierre Clairambault;Silvain Rideau;Glynn Winskel
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.
Events, Causality and Symmetry-the next-generation semantics; Funder: European Commission; Code: 267916
Community of mathematics and fundamental computer science in Lyon; Funder: French National Research Agency (ANR); Code: ANR-10-LABX-0070
Bibliographic References
7 Documents citing this article
Arthur Oliveira Vale;Zhong Shao;Yixuan Chen, 2024, A Compositional Theory of Linearizability, Journal of the ACM, 71, 2, pp. 1-107, 10.1145/3643668, https://doi.org/10.1145/3643668.
Arthur Oliveira Vale;Zhong Shao;Yixuan Chen, 2023, A Compositional Theory of Linearizability, Proceedings of the ACM on Programming Languages, 7, POPL, pp. 1089-1120, 10.1145/3571231, https://doi.org/10.1145/3571231.
Dan R. Ghica, Outstanding contributions to logic, The Far Side of the Cube, pp. 219-250, 2023, 10.1007/978-3-031-24117-8_6.
Hugo Paquet;Philip Saville, 2023, Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories, arXiv (Cornell University), 397, pp. 190-209, 10.4204/eptcs.397.12.
Nicolas Chappe;Paul He;Ludovic Henrio;Yannick Zakowski;Steve Zdancewic, 2023, Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq, Proceedings of the ACM on Programming Languages, 7, POPL, pp. 1770-1800, 10.1145/3571254, https://doi.org/10.1145/3571254.
Simon Castellan;Pierre Clairambault, 2023, The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding, Proceedings of the ACM on Programming Languages, 7, POPL, pp. 689-717, 10.1145/3571217, https://doi.org/10.1145/3571217.