Hirshfeld, Yoram; Jerrum, Mark Bisimulation equivalence is decidable for normed process algebra. (Extended abstract). (English) Zbl 0941.68574 Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 412-421 (1999). For the entire collection see [Zbl 0917.00014]. Cited in 15 Documents MSC: 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) PDFBibTeX XMLCite \textit{Y. Hirshfeld} and \textit{M. Jerrum}, Lect. Notes Comput. Sci. 1644, 412--421 (1999; Zbl 0941.68574)