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…