Jan Friso Groote, Frits W. Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. In Mike Paterson, editor, Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings. Volume 443 of Lecture Notes in Computer Science, pages 626-638, Springer, 1990.
Abstract is missing.