Research on Bisimulation with George and Stijn