Concurrent Games over Relational Structures: The Origin of Game Comonads.

Yov Montacute, Glynn Winskel

Browse the full LICS paper archive.