MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings

• Autoři: JANČAR Petr; KŘETÍNSKÝ Mojmír
• Rok publikování: 1998
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: FI MU Report Series
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: Concurrency; infinite-state systems

Související projekty

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