Publication details

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

Authors

BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

Year of publication 2002
Type Article in Proceedings
Conference Foundations of Coordination Languages and Software Architecture (FOCLASA`02)
MU Faculty or unit

Faculty of Informatics

Citation
Field Computer hardware and software
Keywords coordination; concurrent constraint programming; semantics; communication
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info