\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{FLMP89}

\bibitem[dBP90a]{deboer}
F.~S. de~Boer and C.~Palamidessi.
\newblock A fully abstract model for concurrent constraint logic languages.
\newblock In {\em Proceedings of CONCUR '90}, 1990.

\bibitem[dBP90b]{deboer-tr}
Frank de~Boer and Catuscia Palamidessi.
\newblock A fully abstract model for concurrent constraint programming.
\newblock June 4 1990.

\bibitem[DvH{\etalchar{+}}88]{CHIP}
M.~Dincbas, P.~van Hentenryck, H.~Simonis %, A.~Aggoun, T.~Graf, and
  F.~Berthier.
\newblock The constraint logic programming language chip.
\newblock In {\em Proceedings of the FGCS Conference}, November 1988.

\bibitem[FLMP89]{flmp-2}
M.~Falaschi, G.~Levi, M.~Martelli, and C.~Palamidessi.
\newblock A model-theoretic reconstruction of the operational semantics of
  logic programs.
\newblock Technical Report TR 32/89, Dipartimento di informatica, Universita di
  pisa, September 1989.

\bibitem[GCLS88]{CP-d-sem}
Rob Gerth, Mike Codish, Yossi Lichtenstein, and Ehud Shapiro.
\newblock A fully abstract denotational semantics for {\FCP}.
\newblock In {\em LICS 88}, 1988.

\bibitem[GS89]{gaifman}
H.~Gaifman and E.~Shapiro.
\newblock Fully abstract compositional semantics for logic programs.
\newblock In {\em Proceedings of Sixteenth ACM Symposium on Principles of
  Programming Languages}, January 1989.

\bibitem[Hen88]{hen-book}
Matthew Hennessy.
\newblock {\em Algebraic theory of processes}.
\newblock MIT Press, 1988.

\bibitem[HS91]{cc-FD}
Pascal~Van Hentenryck and Vijay~A. Saraswat.
\newblock \cc({FD}): Constraint programming over finite domains.
\newblock Technical report, Computer Science Department, Brown University,
  forthcoming 1991.

\bibitem[JL87]{lassez-const}
Joxan Jaffar and Jean-Louis Lassez.
\newblock Constraint logic programming.
\newblock In {\em Proceedings of the SIGACT-SIGPLAN Symposium on Principles of
  Programming Languages}, pages 111--119. ACM, January 1987.

\bibitem[JPP89]{Jagadeesan89b}
R.~Jagadeesan, P.~Panangaden, and K.~Pingali.
\newblock A fully-abstract semantics for a functional language with logic
  variables.
\newblock In {\em Proceedings of the Fourth IEEE Symposium on Logic in Computer
  Science}, pages 294--303, 1989.

\bibitem[LS91]{cc-logical}
Patrick Lincoln and Vijay Saraswat.
\newblock {P}roofs as {C}oncurrent {P}rocesses: {A} {L}ogical {I}nterpretation
  for {C}oncurrent {C}onstraint {P}rogramming.
\newblock Technical report, Systems Sciences Laboratory, Xerox PARC, November
  1991.

\bibitem[Mah87]{alps}
Michael Maher.
\newblock Logic semantics for a class of committed-choice programs.
\newblock In {\em 4th International Conference on Logic Programming}. MIT
  Press, May 1987.

\bibitem[Plo82]{plotkin-pisa}
G.D. Plotkin.
\newblock Pisa lecture notes.
\newblock Unpublished notes, 1981-82.

\bibitem[Sar87a]{cp-op-sem}
Vijay~A. Saraswat.
\newblock The concurrent logic programming language {\bf cp}: definition and
  operational semantics.
\newblock In {\em Proceedings of the SIGACT-SIGPLAN Symposium on Principles of
  Programming Languages}, pages 49--62. ACM, January 1987.

\bibitem[Sar87b]{cp-constr-1}
Vijay~A. Saraswat.
\newblock {\bf CP} as a general-purpose constraint language.
\newblock In {\em Proceedings of the National Conference, Seattle}. American
  Association for Artificial Intelligence, July 1987.

\bibitem[Sar89]{my-thesis-book}
Vijay~A. Saraswat.
\newblock {\em Concurrent Constraint Programming Languages}.
\newblock PhD thesis, Carnegie-Mellon University, January 1989.
\newblock To appear, Doctoral Dissertation Award and Logic Programming Series,
  MIT Press, 1990.

\bibitem[Sco82]{scott-info-sys}
Dana~S. Scott.
\newblock Domains for denotational semantics.
\newblock In {\em Proceedings of ICALP}, 1982.

\bibitem[Smy78]{Smyth78}
M.~B. Smyth.
\newblock Powerdomains.
\newblock {\em Journal of Computer and System Sciences}, 16:23--36, 1978.

\bibitem[SR90]{popl90}
Vijay~A. Saraswat and Martin Rinard.
\newblock Concurrent constraint programming.
\newblock In {\em Proceedings of Seventeenth ACM Symposium on Principles of
  Programming Languages, San Fransisco}, January 1990.

\bibitem[SRH91]{local-cons}
Vijay~A. Saraswat, Fransesca Rossi, and Pascal~Van Hentenryck.
\newblock Towards a general framework for constraint programming.
\newblock Technical report, System Sciences Laboratory, Xerox PARC, February
  1991.

\bibitem[SRP91]{popl91}
Vijay~A. Saraswat, Martin Rinard, and Prakash Panangaden.
\newblock Semantic foundations of concurrent constraint programming.
\newblock In {\em Proceedings of Eighteenth ACM Symposium on Principles of
  Programming Languages, Orlando}, January 1991.

\end{thebibliography}
