Other formats:
BibTeX
LaTeX
RIS
@inproceedings{406226,
author = {Brim, Luboš and Jacquet, JeanandMarie and Gilbert, David and Křetínský, Mojmír},
address = {Amsterdam},
booktitle = {Foundations of Coordination Languages and Software Architecture (FOCLASA`02)},
keywords = {coordination; concurrent constraint programming; semantics; communication},
language = {eng},
location = {Amsterdam},
pages = {1-24},
publisher = {Namur University},
title = {Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming},
year = {2002}
}
TY - JOUR
ID - 406226
AU - Brim, Luboš - Jacquet, Jean-Marie - Gilbert, David - Křetínský, Mojmír
PY - 2002
TI - Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
PB - Namur University
CY - Amsterdam
KW - coordination
KW - concurrent constraint programming
KW - semantics
KW - communication
N2 - 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.
ER -
BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. In \textit{Foundations of Coordination Languages and Software Architecture (FOCLASA`02)}. Amsterdam: Namur University, 2002, p.~1-24.
|
