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

Yoram Hirshfeld, Faron Moller

Browse the full CONCUR paper archive.