A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes

Yoram Hirshfeld, Mark Jerrum, Faron Moller. A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. Theoretical Computer Science, 158(1&2):143-159, 1996. [doi]

Abstract

Abstract is missing.