Regularity is Decidable for Normed PA Processes in Polynomial Time

• Autoři: KUČERA Antonín
• Rok publikování: 1996
• Druh: Článek ve sborníku
• Konference: Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; process algebras; 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ů