Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Proceedings |
| Conference | Foundations of Coordination Languages and Software Architecture (FOCLASA`02) |
| MU Faculty or unit | |
| 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: |