Effective Decomposability of Sequential Behaviours.

• Autoři: KUČERA Antonín
• Rok publikování: 2000
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; process algebra; bisimilarity; decomposability

Související projekty

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