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 Článek ve sborníku
Obor Počítačový hardware a software
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: 19. 10. 2017 14:36

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 19. 10. 2017 14:36, 42. (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