Non-angelic Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel

Browse the full FOSSACS paper archive.