A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity.

Jan Friso Groote, David N. Jansen

Browse the full CONCUR paper archive.