Games as Processes: Definability and Invariance

This chapter contains sections titled: 1.1 Games as process graphs in modal logic, 1.2 Process and game equivalences, 1.3 Further notions of game equivalence, 1.4 Conclusion, 1.5 Literature