Open AccessBisimulations, Games, and Logic
Author(s) -
Mogens Nielsen,
Christian Clausen
Publication year - 1994
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v1i6.21664
Subject(s) - bisimulation , interleaving , concurrency , simple (philosophy) , computer science , range (aeronautics) , theoretical computer science , mathematics , programming language , philosophy , epistemology , operating system , materials science , composite material
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.