A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.

Yoram Hirshfeld Faron Moller A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. 48-63 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#HirshfeldM94 http://dx.doi.org/10.1007/BFb0014997