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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00006591" target="_blank" >RIV/00216224:14330/02:00006591 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Original language description
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.
Czech name
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Czech description
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.

Project
<a href="/en/project/GA201%2F00%2F0400" target="_blank" >GA201/00/0400: Infinite state concurrent systems - models and verification</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Foundations of Coordination Languages and Software Architecture (FOCLASA`02)
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
24
Pages from-to
1
Publisher name
Namur University
Place of publication
Amsterdam
Event location
August 2002, Brno
Event date
Jan 1, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)