Title: A polynomial algorithm for deciding bisimularity of normed context-free processes
First published: 1994
Subjects: Algorithms, Equivalence (Linguistics), Polynomials