. . "bisimulation base" . "bisimulation base" .