A Fully Abstract Model for Concurrent Constraint Programming

@inproceedings{Boer1991AFA,
  title={A Fully Abstract Model for Concurrent Constraint Programming},
  author={Frank S. de Boer and Catuscia Palamidessi},
  booktitle={TAPSOFT, Vol.1},
  year={1991}
}
Note: Part of this work was carried out in the context of the ESPRIT Basic Research Action (3020) Integration. The research of Frank S. de Boer was partially supported by the Dutch REX (Research and Education in Concurrent Systems) project. The stay of Catuscia Palamidessi at the Centre for Mathematics and Computer Science was partially supported by the Italian CNR (Consiglio Nazionale deUe Pdcerche). 1 I n t r o d u c t i o n The concurrent constraint paradigm [16, 17, 8, 6, 7] represents a… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 69 extracted citations

Expressiveness of Concurrent Languages

View 16 Excerpts
Highly Influenced

From Concurrent Logic Programming toConcurrent Constraint

ProgrammingFrank, Suparna De, BoerDepartment
1993
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…