BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. Online. FI MU Report Series. Brno: FI MU, 1999, roč. 1999, č. 08, s. 1-62, [citováno 2024-04-23]
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
Autoři BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ
Vydání FI MU Report Series, Brno, FI MU, 1999.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 20206 Computer hardware and architecture
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/99:00001617
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky concurrent constraint programming; semantics; synchronny; concurrency
Štítky concurrency, concurrent constraint programming, semantics, synchronny
Změnil Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 08:32.
Návaznosti
GA201/97/0456, projekt VaVNázev: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 23. 4. 2024 20:07