Bicategories of Concurrent Games - (Invited Paper).

Glynn Winskel

Browse the full FOSSACS paper archive.