A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

• Autoři: BRIM Luboš; JACQUET Jean-Marie; GILBERT David; KŘETÍNSKÝ Mojmír
• Rok publikování: 1999
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: FI MU Report Series
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/informatics/reports/
• Obor: Počítačový hardware a software
• Klíčová slova: concurrent constraint programming; semantics; synchronny; concurrency

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ů