| BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science, 2003, roč. 68, č. 3, s. 1-24. ISSN 0444514163. |
Další formáty:
BibTeX
LaTeX
RIS
@article{490860,
author = {Brim, Luboš and Jacquet, JeanandMarie and Gilbert, David and Křetínský, Mojmír},
article_location = {Amsterdam},
article_number = {3},
keywords = {coordination; concurrent constraint programming; semantics; communication},
language = {eng},
issn = {0444514163},
journal = {Electronic Notes in Theoretical Computer Science},
title = {Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming},
url = {www.elsevier.nl/locate/entcs},
volume = {68},
year = {2003}
}
TY - JOUR
ID - 490860
AU - Brim, Luboš - Jacquet, Jean-Marie - Gilbert, David - Křetínský, Mojmír
PY - 2003
TI - Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
JF - Electronic Notes in Theoretical Computer Science
VL - 68
IS - 3
SP - 1
EP - 1
PB - Elsevier Science
SN - 0444514163
KW - coordination
KW - concurrent constraint programming
KW - semantics
KW - communication
UR - www.elsevier.nl/locate/entcs
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 a Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. \textit{Electronic Notes in Theoretical Computer Science}. Amsterdam: Elsevier Science, 2003, roč.~68, č.~3, s.~1-24. ISSN~0444514163.
|
