Mogens Nielsen, Christian Clausen. Bisimulation, Games, and Logic. In Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg, editors, Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Volume 812 of Lecture Notes in Computer Science, pages 289-306, Springer, 1994.
Abstract is missing.