Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

Varování

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

Autoři	KUČERA Antonín MAYR Richard
Rok publikování	1999
Druh	Článek ve sborníku
Konference	Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	verification; concurrency; weak bisimilarity; infinite-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ů