×

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].

MSC:

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDFBibTeX XMLCite