Computing Maximal Bisimulations.

Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe

Browse the full ICFEM paper archive.