An elementary bisimulation decision procedure for arbitrary context-free processes (1995)

by Olaf Burkart, Didier Caucal, Bernhard Steffen
Venue:Proceedings of MFCS ’95: 20th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 969