Publication details
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
| Authors | |
|---|---|
| Year of publication | 2003 |
| Type | Article in Periodical |
| Magazine / Source | Electronic Notes in Theoretical Computer Science |
| MU Faculty or unit | |
| 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: |