D 2002

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í

Amsterdam, Foundations of Coordination Languages and Software Architecture (FOCLASA`02), s. 1-24, 2002

Nakladatel

Namur University

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 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

Změněno: 4. 12. 2003 10:01, prof. RNDr. Mojmír Křetínský, CSc.

Anotace

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ů