11 citations · 19 across the 8 of their papers we have counts for
Showing 2021Show all
2 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
Disentangling Parallelism and Interference in Game Semantics
Simon Castellan, Pierre Clairambault
Game semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to ha…