, ,
Springer
Lecture Notes in Computer Science
International Conference on Computer Science Logic

Pauly, M. (2000). From programs to games: invariance and safety for bisimulation. In Proceedings of International Conference on Computer Science Logic 2000 (pp. 485–496). Springer.