Bisimulation by Partitioning Is Ω((m+n)log n).

Jan Friso Groote, Jan Martens, Erik P. de Vink

Browse the full CONCUR paper archive.