Transition systems over games.

Paul Blain Levy, Sam Staton

Browse the full CSL paper archive.