Adding Time via Timed Transitions to Concurrent Constraint Programming

• Autoři: BRIM Luboš; GILBERT David; JACQUET Jean-Marie; KŘETÍNSKÝ Mojmír
• Rok publikování: 1997
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky

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ů