Operational semantics of concurrent logical systems.

• Autoři: BRIM Luboš; GILBERT David; JACQUET Jean-Marie; KŘETÍNSKÝ Mojmír
• Rok publikování: 1993
• 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ů