Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.

• Autoři: KUČERA Antonín
• Rok publikování: 1996
• Druh: Článek ve sborníku
• Konference: Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; bisimilarity; regularity

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ů