\begin{thebibliography}{10}

\bibitem{fgcs-cacm}
The fifth generation project.
\newblock volume~36, 1993.

\bibitem{abramsky-ong}
S.~Abramsky and C.-H.L. Ong.
\newblock Full abstraction in the lazy lambda-calculus.
\newblock Technical report, Dept. of Computing, Imperial College, 1989.
\newblock To appear in Information and Computation.

\bibitem{i-structures}
Arvind, Rishiyur Nikhil, and Keshav~K. Pingali.
\newblock I-structuers: data-structures for parallel computing.
\newblock {\em ACM Transactions on Principles of Programming Languages},
  11(4):598--632, October 1989.

\bibitem{Boudol90}
Gerard Boudol and G.~Berry.
\newblock {The Chemical Abstract Machine}.
\newblock In {\em Proceedings of the 17th Annual ACM Symposium on Principles of
  Programming Languages}, pages 81--94. ACM, 1990.

\bibitem{csp-theory}
S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe.
\newblock {A Theory of Communicating Sequential Processes}.
\newblock {\em Journal of the Association for Computing Machinery},
  31(3):560--599, July 1984.

\bibitem{unity}
Mani Chandy and Jay Misra.
\newblock {\em Parallel Program Design---A foundation}.
\newblock Addison Wesley, 1988.

\bibitem{rel-lang}
K.L. Clark and S.~Gregory.
\newblock A relational language for parallel programming.
\newblock Technical Report Res Report DOC 81/16, Imperial College, July 1981.

\bibitem{prologiia}
A.~Colmerauer.
\newblock Equations and inequations on finite and infinite trees.
\newblock In {\em 2d International Conference on Fifth Generation Computer
  Systems}, pages 85--99, 1984.

\bibitem{charm}
Andrea Corradini, Ugo Montanari, and Francesca Rossi.
\newblock {CHARM}: Concurrency and hiding in an abstract rewriting machine.
\newblock In {\em Proceedings of the Fifth Generation Computer Systems
  Conference}, 1992.

\bibitem{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{deboer-ccp}
F.~S. de~Boer and C.~Palamidessi.
\newblock A fully abstract model for concurrent constraint programming.
\newblock In {\em Proceedings of TAPSOFT/CAAP}, volume 493 of {\em
  Springer-Verlag Lecture Notes in Computer Science}, pages 296--319, 1991.

\bibitem{deBoer-ccp-pa}
F.~S. de~Boer and C.~Palamidessi.
\newblock A process algebra of concurrent constraint programming.
\newblock In {\em Proceedings of the Joint International Logic Programming
  Conference/Symposium}, 1992.
\newblock To appear.

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

\bibitem{deBoer-asynch}
Frank~S. de~Boer, J.N. Kok, C.~Palamidessi, and J.J.M.M. Rutten.
\newblock The failure of failures in a paradigm for asynchronous communication.
\newblock In J.C.M. Baeten and J.W. Klop, editors, {\em Proceedings of CONCUR
  '90}, volume 458 of {\em Lecture Notes in Computer Science}, pages 99--114.
  Springer Verlag, 1990.

\bibitem{kok-and-others}
Frank~S. de~Boer, Joost~N. Kok, Catuscia Palamidessi, and Jan~J.M.M. Rutten.
\newblock {\em Logic Programming Languages Constraints, Functions and Objects},
  chapter A paradigm for asynchronous communication and its application to
  concurrent constraint programming.
\newblock MIT Press, 1993.

\bibitem{deBoer-1}
Frank~S. de~Boer and C.~Palamidessi.
\newblock Concurrent logic languages: Asynchronism and language comparison.
\newblock In {\em Proceedings of the North American Conference on Logic
  Programming}. M.I.T. Press, 1990.

\bibitem{deBoer-2}
Frank~S. de~Boer and C.~Palamidessi.
\newblock On the asychronous nature of communication in concurrent logic
  languages: a fully abstract model based on sequences.
\newblock In {\em Proceedings of CONCUR '90}, 1991.

\bibitem{lp-book-1}
Doug DeGroot and Gary Lindstrom, editors.
\newblock {\em Logic Programming: Functions, Relations and Equations}.
\newblock Prentice Hall, 1986.

\bibitem{levi-tr}
Maurizio Gabbrielli and G.~Levi.
\newblock Unfolding and fixpoint semantics of concurrent constraint logic
  programs.
\newblock Technical report, University of Pisa, 1990.

\bibitem{gaifman-react}
Haim Gaifman, Michael~J. Maher, and Ehud Shapiro.
\newblock Reactive behavior semantics for concurrent constraint logic programs.
\newblock In {\em North American Logic Programming Conference}. MIT Press,
  October 1989.

\bibitem{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{girard-ll}
J.-Y. Girard.
\newblock Linear logic.
\newblock {\em Theoretical Computer Science}, 50(1):1--102, 1987.

\bibitem{cc-FD}
Pascal~Van Hentenryck, Vijay~A. Saraswat, and Yves Deville.
\newblock Constraint processing in \ccfd.
\newblock Technical report, Computer Science Department, Brown University,
  forthcoming 1992.

\bibitem{doc}
Masahiro Hirata.
\newblock Programming language doc and its self-description, or, $\tt x=x$
  considered harmful.
\newblock In {\em 3d Conference Proceedings of Japan Society for Software
  Science and Technology}, pages 69--72, 1986.

\bibitem{csp-book}
C.A.R. Hoare.
\newblock {\em Communicating Sequential Processes}.
\newblock Prentice-Hall International Series in Computer Science.
  Prentice-Hall, 1985.

\bibitem{hoare-conj}
C.A.R. Hoare.
\newblock A theory of conjunction and concurrency.
\newblock Oxford PRG, May 1989.

\bibitem{hoare-models}
C.A.R. Hoare.
\newblock Let's make models.
\newblock In {\em Proceedings of CONCUR 90}, August 1990.

\bibitem{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{Jagadeesan90}
R.~Jagadeesan and P.~Panangaden.
\newblock A domain-theoretic model of a higher-order process calculus.
\newblock In M.~S. Paterson, editor, {\em The Seventeenth International
  Colloquium On Automata Languages And Programming}, pages 181--194.
  Springer-Verlag, 1990.
\newblock Lecture Notes In Computer Science 443.

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

\bibitem{angelic-nondet}
R.~Jagadeesan, V.~Shanbhogue, and V.~Saraswat.
\newblock Angelic non-determinism in concurrent constraint programming.
\newblock Technical report, System Sciences Laboratory, Xerox PARC, January
  1991.

\bibitem{sverker-AKL}
Sverker Janson and Seif Haridi.
\newblock {P}rogramming {P}aradigms of the {A}ndorra {K}ernel {L}anguage.
\newblock In {\em {Logic Programming: P}roceedings of the 1991 {I}nternational
  {S}ymposium}. MIT Press, 1991.

\bibitem{joseph-theory}
Mark~B. Josephs.
\newblock Receptive process theory.
\newblock Technical report, Programming Research Group, Oxford University, July
  1990.

\bibitem{kahn}
G.~Kahn.
\newblock The semantics of a simple language for parallel programming.
\newblock In J.L. Rosenfeld, editor, {\em Proceeedings of IFIP Congress 74},
  pages 471--475., August 1974.

\bibitem{shap-fgcs}
S.~Kliger, E.~Yardeni, E.~Shapiro, and K.~Kahn.
\newblock The language {\bf fcp(:,?)}.
\newblock In {\em Conference on Fifth Generation Computer Systems}, December
  1988.

\bibitem{kruskal-par-prefix}
C.~Kruskal, L.~Rudolph, and Snir M.
\newblock The power of parallel prefix.
\newblock In {\em Proceedings of the 1985 Int. Conf. in parallel processing}.
  IEEE, August 1985.

\bibitem{lassez-unify}
J-.L. Lassez, M.J. Maher, and K.~Mariott.
\newblock {\em Foundations of Deductive Databases and Logic Programming},
  chapter Unification Revisited.
\newblock Morgan Kaufmann Publishers, Inc, 1988.

\bibitem{levi-invited}
Giorgio Levi.
\newblock Models, unfolding rules and fixpoint semantics.
\newblock In {\em Proceeedings of the Fifth International Conference and
  Symposium on Logic Programming, Seattle}, pages 1649--1665, August 1988.

\bibitem{PDLsigact}
P.~Lincoln.
\newblock Linear logic.
\newblock {\em SIGACT Notices}, 23(2):29--37, Spring 1992.

\bibitem{fg+lv}
Gary Lindstrom.
\newblock Functional programming and the logical variable.
\newblock In {\em Proceedings of the Twelfth ACM Symposium on Principles of
  Programming Languages}, pages 266--280, January 1985.

\bibitem{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{ccs}
R.~Milner.
\newblock {\em A calculus of communicating systems}.
\newblock Number~92 in Lecture Notes in Computer Science. Springer-Verlag,
  1980.

\bibitem{Milner90}
R.~Milner.
\newblock Functions as processes.
\newblock In M.~S. Paterson, editor, {\em The Seventeenth International
  Colloquium On Automata Languages And Programming}, pages 167--180.
  Springer-Verlag, 1990.
\newblock Lecture Notes In Computer Science 443.

\bibitem{Milner-handbook}
R.~Milner.
\newblock {\em Handbook of Theoretical Computer Science, Vol. B}, chapter
  Operational and Algebraic Semantics of Concurrent Processes.
\newblock Elsevier Science Publishers B.V., 1990.

\bibitem{Milner89}
R.~Milner, J.~G. Parrow, and D.~J. Walker.
\newblock A calculus for mobile processes, part i and ii.
\newblock LFCS Report ECS-LFCS-89-85, University of Edinburgh, 1989.

\bibitem{fran-true}
Ugo Montanari and Francesca Rossi.
\newblock True concurrency semantics for concurrent constraint programminmg.
\newblock In V.~Saraswat and K.~Ueda, editors, {\em Proc. of the 1991
  International Logic Programming Symposium}, 1991.

\bibitem{spec-csp}
E.-R. Olderog and C.A.R. Hoare.
\newblock Specification-oriented semantics for communicating processes.
\newblock {\em Acta Informatica}, 23:9--66, 1986.

\bibitem{partial-correctness}
Vijay~A. Saraswat.
\newblock Partial correctness semantics for {\bf cp(\iop,{\tt |}, {\tt \&})}.
\newblock In {\em Proceedings of the FSTTCS Conference}, number 206 in Lecture
  Notes in Computer Science, pages 347--368. Springer-Verlag, December 1985.

\bibitem{clean-sem}
Vijay~A. Saraswat.
\newblock A somewhat logical formulation of {CLP} synchronization primitives.
\newblock In {\em Proceedings of LP 88}. MIT Press, August 1988.

\bibitem{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, 1992.

\bibitem{vj-thesis-book}
Vijay~A. Saraswat.
\newblock {\em Concurrent constraint programming languages}.
\newblock Doctoral Dissertation Award and Logic Programming Series. MIT Press,
  1990, forthcoming.

\bibitem{janus}
Vijay~A. Saraswat, Ken Kahn, and Jacob Levy.
\newblock \janus: A step towards distributed constraint programming.
\newblock In {\em Proceedings of the North American Conference on Logic
  Programming}, October 1990.

\bibitem{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{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.

\bibitem{dist-term}
Vijay~A. Saraswat, David Weinbaum, Ken Kahn, and Ehud Shapiro.
\newblock Detecting stable properties of networks in concurrent logic
  programming languages.
\newblock In {\em Proceedings of the Seventh Annual ACM Symposium on Principles
  of Distributed Computing (PODC 88)}, pages 210--222, August 1988.

\bibitem{scedrov-ll}
A.~Scedrov.
\newblock A brief guide to linear logic.
\newblock {\em Bulletin of the European Assoc. for Theoretical Computer
  Science}, 41:154--165, June 1990.

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

\bibitem{shapiro-systolic}
E.~Y. Shapiro.
\newblock Systolic programming: a paradigm of parallel processing.
\newblock In {\em Proceedings of the Fifth Generation Computer Systems
  Conference}, 1984.

\bibitem{CP}
Ehud Shapiro.
\newblock A subset of {Concurrent} {Prolog} and its interpreter.
\newblock Technical Report CS83-06, Weizmann Institute, 1983.

\bibitem{strand}
Strand Software Technologies Inc.
\newblock {\em Strand 88 Users Manual}, June 1989.

\bibitem{taylor-book}
Stephen Taylor.
\newblock {\em Programming tecnhniques for parallel logic programming}.
\newblock Prentice Hall, 1989.

\bibitem{dhd-andorra}
D.H.D. Warren.
\newblock The {Andorra} {Principle}.
\newblock Presented at Gigalips workshop, U. of Bristol, 1987.

\input{survey.bbl-1}
\end{thebibliography}
