Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time

Varování

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

Autoři	KUČERA Antonín RICHARD Mayr
Rok publikování	1998
Druh	Článek v odborném periodiku
Časopis / Zdroj	Technical Report TUM
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	KUČERA, Antonín a Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9830, s. 1-28.
Obor	Počítačový hardware a software
Klíčová slova	process algebras; bisimilarity; finite-state systems
Související projekty:	Rozhodnutelné problémy v algebrách procesů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů