Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Varování

Publikace nespadá pod Ekonomicko-správní 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ů