|
Bisimulations, Games and Logic
Mogens Nielsen and Christian Clausen April 1994 |
Abstract: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. |