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:

• From the IT University of Copenhagen:
  • Thomas Hildebrandt
  • Jens Christian Godskesen
  • Mikkel Bundgaard
• From the University of Aalborg:
  • Alexandre David
• From the Technical University of Denmark:
  • Hans Henrik Løvengreen
• From the University of Aarhus:
  • Claus Brabrand
  • Martin Mosegaard

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.