The Bisimulation Game Game
A tool for teaching bisimilarity
This tool is aimed at teaching the abstract concept of bisimulation via a concrete game, based on the game characterizations of strong and weak bisimilarity.
Background
The tool has emerged from the Danish National Teaching Network for Model-Based Design for Concurrency.
The members of this network are:
More info:
Developed by Martin Mosegaard.
Instigated and supervised by Claus Brabrand.
Thanks to Jiri Srba for comments and suggestions.
Thanks to it-vest for funding.