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

Logo poskytovatele

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
Obor Počítačový hardware a software
Klíčová slova process algebras; bisimilarity; finite-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.

Další info