Showing 2021Show all
3 papers · 1 filter
cs.LO2021
The Mays and Musts of Concurrent Strategies
Simon Castellan, Pierre Clairambault, Glynn Winskel
Concurrent strategies based on event structures are examined from the viewpoint of 'may' and 'must' testing in traditional process calculi. In their pure form concurrent strategies…
cs.LO2021
The Quantitative Collapse of Concurrent Games with Symmetry
Pierre Clairambault, Hugo Paquet
We explore links between the thin concurrent games of Castellan, Clairambault and Winskel, and the weighted relational models of linear logic studied by Laird, Manzonetto, McCusker…
cs.LO2021
Positional Injectivity for Innocent Strategies
Lison Blondeau-Patissier, Pierre Clairambault
In asynchronous games, Melli{è}s proved that innocent strategies are positional: their behaviour only depends on the position, not the temporal order used to reach it. This insight…