Highly Undecidable Questions for Process Algebras

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Vysoce nerozhodnutelne problemy pro algebry procesu
Autoři

JANCAR Petr SRBA Jiří

Rok publikování 2004
Druh Článek ve sborníku
Konference Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.brics.dk/~srba/publ.html
Obor Informatika
Klíčová slova high undecidability; process rewrite systems; completeness
Popis V clanku je ukazana Sigma^1_1 uplnost slabe bisimilarity pro tridu PA a slabeho simulacniho predusporadani/ekvivalence pro zasobnikove automaty, PA a Petriho site. Rovnez jsou studovany problemy slabe omega-jazykove ekvivalence pro BPA a BPP.
Související projekty:

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