The Joys of Bisimulation The Joys of BisimulationColin StirlingDepartment of Computer Science University of Edinburgh Edinburgh EH JZ UK email cps dcs ed ac uk