An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence

Cite this paper

@inproceedings{Groote1990AnEA, title={An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence}, author={Jan Friso Groote and Frits W. Vaandrager}, booktitle={ICALP}, year={1990} }