Colloquium on Trees in Algebra and Programming

CAAP 1991: TAPSOFT '91 pp 296-319

A fully abstract model for concurrent constraint programming

  • Frank S. de Boer
  • Catuscia Palamidessi
CAAP Colloquium On Trees In Algebra And Programming

DOI: 10.1007/3-540-53982-4_17

Volume 493 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
de Boer F.S., Palamidessi C. (1991) A fully abstract model for concurrent constraint programming. In: Abramsky S., Maibaum T.S.E. (eds) TAPSOFT '91. CAAP 1991. Lecture Notes in Computer Science, vol 493. Springer, Berlin, Heidelberg


Recent results [5] have shown that concurrent Logic programming has a very simple model, based on linear sequences, which is fully abstract with respect to the parallel operator and finite observables. This is intrinsically related to the asynchronous and monotonic nature of the communication mechanism, which consists of asking and telling constraints on a common store. We consider here a paradigm for (asynchronous) concurrent programming, based on the above mechanism, and provided with the standard operators of choice, parallelism, prefixing, and hiding of local variables. It comes out that linear sequences still suffice for a compositional description of all the operators. Moreover, we consider the problem of full abstraction. Since our notion of observables implies the removal of silent steps, the presence of the choice operator induces the same problems (for compositionality) as bisimulation in CCS. We show that in our framework this problem has a simple solution which consists of introducing a semantical distinction between the various ways in which deadlock and failure might occur. The resulting semantics is fully abstract and still based on linear sequences.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • Frank S. de Boer
    • 1
    • 3
  • Catuscia Palamidessi
    • 2
    • 3
  1. 1.Technische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.Department of Computer ScienceUniversity of UtrechtUtrechtThe Netherlands
  3. 3.Centre for Mathematics and Computer ScienceAmsterdamThe Netherlands