A process algebra for Synchronous Concurrent Constraint Programming

• Autoři: BRIM Lubos; GILBERT David; JACQUET Jean-Marie; KŘETÍNSKÝ Mojmír
• 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ů