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í: 1997
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Notes in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: ENTCS home page
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; bisimilarity; infinite-state systems

Související projekty

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