Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

• Autoři: KUČERA Antonín; MAYR Richard
• Rok publikování: 1999
• Druh: Článek ve sborníku
• Konference: Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: verification; concurrency; weak bisimilarity; infinite-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ů