An O(m log n) algorithm for branching bisimilarity on labelled transition systems.

David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs

Browse the full TACAS paper archive.