Completeness Results for Undecidable Bisimilarity Problems

• 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
• 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

• Verifikace nekonečně stavových systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů