Games as Processes: Definability and Invariance | part of Logic in Games | MIT Press books | IEEE Xplore