Informační systém Masarykovy univerzity 

Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint ...

česky | in English

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. In Foundations of Coordination Languages and Software Architecture (FOCLASA`02). Amsterdam: Namur University, 2002. s. 1-24.
Další formáty:   BibTeX LaTeX RIS
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 Spojené království) a Mojmír KŘETÍNSKÝ (203 Česká republika, garant).
Vydání Amsterdam, Foundations of Coordination Languages and Software Architecture (FOCLASA`02), s. 1-24, 2002.
Nakladatel Namur University
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer hardware and architecture
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/02:00006591
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky coordination; concurrent constraint programming; semantics; communication
Štítky communication, concurrent constraint programming, coordination, semantics
Změnil Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2003 10:01.
Anotace
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 VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Standardní projekty
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, Výzkumné záměry
VytisknoutZobrazeno: 20. 9. 2018 14:55

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2018 14:55, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému