Graph Games Revisited

Graph games provide a framework for game semantics where a certain
amount of consistency of strategies is built into the game. While the
details of proofs can be intricate, once the framework is in place
calculations can be carried out without knowing about those: For
example, composition of strategies is relational composition, so that
equations can easily be established.