An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.

Jan Friso Groote, Anton Wijs

Browse the full TACAS paper archive.