Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

• Autoři: ČERNÁ Ivana; KŘETÍNSKÝ Mojmír; KUČERA Antonín
• Rok publikování: 1996
• Druh: Článek ve sborníku
• Konference: Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software

Související projekty

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