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

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.