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

Yoram Hirshfeld, Mark Jerrum, Faron Moller

Browse the full FOCS paper archive.