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. Electronic Notes in Theoretical Computer Science, Amsterdam: Elsevier Science, 2003, roč. 68, č. 3, s. 1-24. ISSN 0444514163.
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í Electronic Notes in Theoretical Computer Science, Amsterdam, Elsevier Science, 2003, 0444514163.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Informatika
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/03:00008380
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky coordination; concurrent constraint programming; semantics; communication
Štítky communication, concurrent constraint programming, coordination, semantics
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
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: 21. 10. 2017 16:10

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 21. 10. 2017 16:10, 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