D 2002

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

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

Publisher

Namur University

Other information

Language

English

Type of outcome

Proceedings paper

Field of Study

20206 Computer hardware and architecture

Country of publisher

Czech Republic

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14330/02:00006591

Organization unit

Faculty of Informatics

Keywords in English

coordination; concurrent constraint programming; semantics; communication

Tags

Changed: 4/12/2003 10:01, prof. RNDr. Mojmír Křetínský, CSc.

Abstract

In the original language

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