2014
Transition Systems over Games
1. A game, which is essentially a bipartite graph describing the We describe a framework for game semantics combining opera- moves that can be made as play passes between the different tional and denotational accounts. A game is a bipartite graph of positions of the two players....