Packages dk.brics.bisim dk.brics.bisim.controller dk.brics.bisim.equiv dk.brics.bisim.model dk.brics.bisim.view