2 citations · 2 across the 1 of their papers we have counts for
3 papers
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.LO2016★ 2 cited
Distributed Games and Strategies
Glynn Winskel
A summary of work on distributed games and strategies done within the first three years of the ERC project ECSYM is presented.
cs.LO2016
Strategies with Parallel Causes
Marc de Visme, Glynn Winskel
In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on…