A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes

Yoram Hirshfeld, Mark Jerrum, Faron Moller. A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes. In 35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA. pages 623-631, IEEE, 1994.

Abstract

Abstract is missing.