Colin Stirling - The joys of bisimulation

Bisimulation has two roots, modal logic and concurrency. I examine the origins of bisimulation. A surprisingly rich variety of recent results utilise bisimulation, and some of these are presented stretching from language theory to finite model theory.