Deciding Regularity in Process Algebras

• Autoři: KUČERA Antonín
• Rok publikování: 1995
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: BRICS Report Series
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: process algebras; regularity; behavioural equivalences

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ů