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. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science, 2003, vol. 68, No 3, p. 1-24. ISSN 0444514163. |
Other formats:
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 and 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, vol.~68, No~3, p.~1-24. ISSN~0444514163.
|