J 2003

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

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ

Basic information

Original name

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

Authors

BRIM, Luboš (203 Czech Republic), Jean-Marie JACQUET (56 Belgium), David GILBERT (826 United Kingdom of Great Britain and Northern Ireland) and Mojmír KŘETÍNSKÝ (203 Czech Republic, guarantor)

Edition

Electronic Notes in Theoretical Computer Science, Amsterdam, Elsevier Science, 2003, 0444514163

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

RIV identification code

RIV/00216224:14330/03:00008380

Organization unit

Faculty of Informatics

Keywords in English

coordination; concurrent constraint programming; semantics; communication

Tags

Tags

International impact, Reviewed
Změněno: 22/11/2006 08:32, prof. RNDr. Luboš Brim, CSc.

Abstract

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.

Links

GA201/00/0400, research and development project
Name: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing