Sign in

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

Yoram HirshfeldFaron Moller
Published in: CONCUR (1994)
Keyphrases