Abstract
Confluence is an important and desirable property as it allows the program to be understood by considering any desired scheduling rule, rather than having to consider all possible scheduling. Unfortunately, the usual operational semantics for concurrent constraint programs is not confluent as different process scheduling give rise to different sets of possible outcomes. We show that it is possible to give a natural confluent calculus for concurrent constraint programs, if the syntactic domain is extended by a blind choice operator and a special constant standing for a discarded branch. This has application to program analysis.
| Original language | English |
|---|---|
| Title of host publication | Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings |
| Editors | Ugo Montanari, Francesca Rossi |
| Publisher | Springer |
| Pages | 310-327 |
| Number of pages | 18 |
| ISBN (Print) | 3540602992, 9783540602996 |
| DOIs | |
| Publication status | Published - 1 Jan 1995 |
| Event | International Conference on Principles and Practice of Constraint Programming 1995 - Cassis, France Duration: 19 Sept 1995 → 22 Sept 1995 Conference number: 1st |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 976 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | International Conference on Principles and Practice of Constraint Programming 1995 |
|---|---|
| Abbreviated title | CP 1995 |
| Country/Territory | France |
| City | Cassis |
| Period | 19/09/95 → 22/09/95 |