29 citations · 81 across the 9 of their papers we have counts for
1 paper · 2 filters
David N. Jansen, Jeroen J. A. Keiren
Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence, acclaimed to run in O(mlogn) time. Unfort…