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:

http://www.brics.dk/bisim/

Developed by Martin Mosegaard.

Instigated and supervised by Claus Brabrand.

Thanks to Jiri Srba for comments and suggestions.

Thanks to it-vest for funding.