On the Relationship between Sequential and Parallel Compositions in Process Algebras

• Autoři: ČERNÁ Ivana; KŘETÍNSKÝ Mojmír; KUČERA Antonín
• Rok publikování: 1996
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky

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ů