J
2003
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ
Základní údaje
Originální název
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Autoři
BRIM, Luboš (203 Česká republika), Jean-Marie JACQUET (56 Belgie), David GILBERT (826 Velká Británie a Severní Irsko) a
Mojmír KŘETÍNSKÝ (203 Česká republika, garant)
Vydání
Electronic Notes in Theoretical Computer Science, Amsterdam, Elsevier Science, 2003, 0444514163
Další údaje
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/03:00008380
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
coordination; concurrent constraint programming; semantics; communication
Příznaky
Mezinárodní význam, Recenzováno
V originále
We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to the operational semantics and fully abstract as well.
Návaznosti
| GA201/00/0400, projekt VaV | | Název: Nekonečně stavové souběžné systémy - modely a verifikace | | Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace |
|
| MSM 143300001, záměr | | Ná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ů |
|
Zobrazeno: 3. 11. 2024 11:58