An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.

Jan Friso Groote, Frits W. Vaandrager

Browse the full ICALP paper archive.