A polynomial-time algorithm for deciding equivalence of normed context-free processes | IEEE Conference Publication | IEEE Xplore