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

Investor logo

Warning

This publication doesn't include Faculty of Education. 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 2003
Type Article in Periodical
Magazine / Source Electronic Notes in Theoretical Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Web http://www.elsevier.nl/locate/entcs
Field Informatics
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.