Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	SRBA Jiří
Rok publikování	2000
Druh	Článek ve sborníku
Konference	Expressiveness in Concurrency, EXPRESS'00
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.elsevier.nl/locate/entcs/volume39.html
Obor	Počítačový hardware a software
Související projekty:	Nekonečně stavové souběžné systémy - modely a verifikace Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů