Další formáty:
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 a 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, s.~1-24.
|