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
• 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

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