Antti Valmari. Bisimilarity Minimization in O(m logn) Time. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 123-142, Springer, 2009. [doi]
Abstract is missing.