Completeness Results for Undecidable Bisimilarity Problems

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.
Název česky Uplnostni vysledky pro nerozhodnutelne bisimulacni problemy
Autoři

SRBA Jiří

Rok publikování 2004
Druh Článek ve sborníku
Konference Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.brics.dk/~srba/publ.html
Obor Informatika
Klíčová slova high undecidability; bisimilarity
Popis V clanku je ukazana Sigma^1_1 uplnost slabe bisimilarity pro zasabnikove a paralelni zasobnikove automaty.
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