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

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

Související projekty

• Rozhodnutelné problémy v algebrách procesů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů