On the Computational Complexity of Bisimulation, Redux

• Název česky: Vypocetni slozitost bisimulace
• Autoři: MOLLER Faron; SMOLKA Scot; SRBA Jiří
• Rok publikování: 2004
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Information and Computation
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.brics.dk/~srba/publ.html
• Obor: Informatika
• Klíčová slova: bisimilarity; complexity
• Popis: Jedna se o prehledovy clanek, ktery poskytuje seznam vysledku a odkazu na ne z oblasti porovnavani nekonecne stavovych systemu vzhledem k semantickym ekvivalencim.

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ů