Bisimulations, Games and Logic

Mogens Nielsen and Christian Clausen

April 1994


In a recent paper by Joyal, Nielsen, and Winskel, bisimulation is defined in an abstract and uniform way across a wide range of different models for concurrency. In this paper, following a recent trend in theoretical computer science, we characterize their abstract definition game-theoretically and logically in a non-interleaving model. Our characterizations appear as surprisingly simple extensions of corresponding characterizations of interleaving bisimulation.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.