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

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
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.