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: 2003
• Type: Article in Periodical
• Magazine / Source: Electronic Notes in Theoretical Computer Science
• MU Faculty or unit: Faculty of Informatics
• 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

• Infinite state concurrent systems - models and verification
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing