 The notion of bisimulation appeared independently in computer science, so it so no surprise that it also features in matters related to the information-as-code approach, with its focus on representation and computation. In particular, several versions of bisimulation have been applied to classes of automata to determine when two of them are behaviourally equivalent, and data encodings such as 