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

\bibitem[Abr93]{IntCat}
S.~Abramsky.
\newblock Interaction categories.
\newblock Available by anonymous ftp from papers/Abramsky:theory.doc.ic.ac.uk,
  1993.

\bibitem[ASU85]{sethi-ullman}
A.~V. Aho, R.~Sethi, and J.~D. Ullman.
\newblock {\em Compilers -- Principles, techniques and tools}.
\newblock Addison Wesley series in Computer Science. Addison Wesley, 1985.

\bibitem[Bau89]{baudinet}
M.~Baudinet.
\newblock Temporal logic programming is complete and expressive.
\newblock In {\em Proc. of ACM conference on Principles of Programming
  languages}, 1989.

\bibitem[BB90]{BoudolBerry90}
G.~Berry and G.~Boudol.
\newblock The chemical abstract machine.
\newblock In {\em Proceedings of the 17th Annual ACM Symposium on Principles of
  Programming Languages}, 1990.

\bibitem[BdS91]{esterel-2}
Frederic Boussinot and Robert de~Simone.
\newblock The {\sc esterel} language.
\newblock {\em Proceedings of the IEEE}, 79(9):1293 -- 1304, 1991.

\bibitem[Ber89]{berry-lang}
G.~Berry.
\newblock Real-time programming: General purpose or special-purpose languages.
\newblock In G.~Ritter, editor, {\em Information Processing 89}, pages 11 --
  17. Elsevier Science Publishers B.V. (North Holland), 1989.

\bibitem[Ber93]{BerryFSTTCS}
G.~Berry.
\newblock Preemption in concurrent systems.
\newblock In {\em Proc. of FSTTCS}. Springer-Verlag, 1993.
\newblock LNCS 781.

\bibitem[BFG{\etalchar{+}}90]{metatem}
H.~Barringer, M.~Fisher, D.~Gabbay, G.~Gough, and R.~Owens.
\newblock Metatem: A framework for programming in temporal logic.
\newblock In J.~W. de~Bakker, W.~P. de~Roevere, and G.~Rozenberg, editors, {\em
  Stepwise Refinement of Distributed Systems-- Models, Formalisms,
  Correctness}. Springer- Verlag, 1990.
\newblock LNCS 430.

\bibitem[BG92]{esterel}
G.~Berry and G.~Gonthier.
\newblock The {\sc esterel} programming language: Design, semantics and
  implementation.
\newblock {\em Science of Computer Programming}, 19(2):87 -- 152, November
  1992.

\bibitem[BRS93]{CRP}
G.~Berry, S.~Ramesh, and R.K. Shyamsunder.
\newblock Communicating reactive processes.
\newblock In {\em Proceedings of Twentieth ACM Symposium on Principles of
  Programming Languages}, pages 85 -- 98, 1993.

\bibitem[Brz91]{brzoska}
Christoph Brzoska.
\newblock Temporal logic programming and its relation to constraint logic
  programming.
\newblock In Vijay~A. Saraswat and Kazunori Ueda, editors, {\em Logic
  Programming: Proceedings of the 1991 International Symposium}, pages 661 --
  677, 1991.

\bibitem[Fd93]{forbus-dekleer}
Ken Forbus and Johan deKleer.
\newblock {\em Building Problem Solvers}.
\newblock MIT Press, 1993.

\bibitem[GBGM91]{signal}
P.~Le Guernic, M.~Le Borgne, T.~Gauthier, and C.~Le Maire.
\newblock Programming real time applications with {\sc signal}.
\newblock In {\em Special issue on Another Look at Real-time Systems},
  Proceedings of the IEEE, September 1991.

\bibitem[Gin87]{nmr-readings}
Matthew Ginsberg, editor.
\newblock {\em Readings in Nonmonotonic Reasoning}.
\newblock Morgan Kaufmann, 1987.

\bibitem[Hal93]{Hbook}
N.~Halbwachs.
\newblock {\em Synchronous programming of reactive systems}.
\newblock The Kluwer international series in Engineering and Computer Science.
  Kluwer Academic publishers, 1993.

\bibitem[Har87]{statecharts}
D.~Harel.
\newblock Statecharts: A visual approach to complex systems.
\newblock {\em Science of Computer Programming}, 8:231 -- 274, 1987.

\bibitem[HCP91]{lustre}
N.~Halbwachs, P.~Caspi, and D.~Pilaud.
\newblock The synchronous programming language {\sc lustre}.
\newblock In {\em Special issue on Another Look at Real-time Systems},
  Proceedings of the IEEE, Special issue on Another Look at Real-time Systems,
  September 1991.

\bibitem[HM86]{yale-sp}
S.~Hanks and D.~McDermott.
\newblock Default reasoning, nonmonotonic logics, and the frame problem.
\newblock In {\em Proceedings of Fifth National Conference on Artificial
  Intelligence}, pages 328--333, 1986.

\bibitem[Hoa85a]{Hoare85}
C.~A.~R. Hoare.
\newblock {\em Communicating Sequential Processes}.
\newblock Series in Computer Science. Prentice-Hall International, London,
  1985.

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

\bibitem[HP85]{reactive-systems}
David Harel and Amir Pnueli.
\newblock {\em Logics and Models of Concurrent Systems}, volume~13, chapter On
  the development of reactive systems, pages 471--498.
\newblock NATO Advanced Study Institute, 1985.

\bibitem[HSD92]{cc-FD}
Pascal~Van Hentenryck, Vijay~A. Saraswat, and Yves Deville.
\newblock Constraint processing in \cc(fd).
\newblock Technical report, Computer Science Department, Brown University,
  1992.

\bibitem[Kun79]{systol}
H.T. Kung.
\newblock Let's design algorithms for vlsi systems.
\newblock Technical Report 151, CMU-CS, Jan 1979.

\bibitem[Mer93]{merz}
R.~Merz.
\newblock Efficiently executing temporal logic programs.
\newblock In M.~Fisher and R.~Owens, editors, {\em Proc. of IJCAI}, 1993.

\bibitem[Mil80]{ccs}
R.~Milner.
\newblock {\em A calculus of communicating systems}.
\newblock Number~92 in Lecture Notes in Computer Science. Springer-Verlag,
  1980.

\bibitem[Mil83]{Milner83}
R.~Milner.
\newblock Calculi for synchrony and asynchrony.
\newblock {\em Theoretical Computer Science}, 25:267--310, 1983.

\bibitem[Mil89]{Milner89a}
R.~Milner.
\newblock {\em Communication and Concurrency}.
\newblock Prentice-Hall, 1989.

\bibitem[Mos86]{moszkowski}
B.~Moszkowski.
\newblock {\em Executing Temporal Logic Programs}.
\newblock Cambridge Univ. Press, 1986.

\bibitem[MP90]{Pnueli-Manna90}
Z.~Manna and A.~Pnueli.
\newblock A hierarchy of temporal properties.
\newblock In {\em Proceedings of the ACM SIGPLAN conference on Principles of
  Programming langauges}, 1990.

\bibitem[MPW89]{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[MS90]{Murakami-Sethi}
G.~Murakami and R.~Sethi.
\newblock Terminal call processing in esterel.
\newblock Technical Report 150, AT\& TBell labs, 1990.

\bibitem[Rea91]{ieee-rt-issue}
Special issue on real-time systems, 1991.

\bibitem[RR86]{timed-csp}
G.M. Reed and A.W. Roscoe.
\newblock A timed model for communicating sequential processes.
\newblock In {\em Proceedings of ICALP '86}, volume 226 of {\em Springer LNCS},
  1986.

\bibitem[Sar92]{cccc}
Vijay~A.{} Saraswat.
\newblock The {C}ategory of {C}onstraint {S}ystems is {C}artesian-closed.
\newblock In {\em Proc.{} 7th {IEEE} Symp. on Logic in Computer Science, Santa
  Cruz}, 1992.

\bibitem[Sar93]{my-book}
Vijay~A. Saraswat.
\newblock {\em Concurrent Constraint Programming}.
\newblock Logic Programming and Doctoral Dissertation Award Series. MIT Press,
  March 1993.
\newblock Yes, it is actually out!

\bibitem[SJG93]{tcc}
Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta.
\newblock Foundations of timed concurrent constraint programming.
\newblock Technical report, Xerox Palo Alto Research Center, December 1993.
\newblock Submitted for publication.

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

\bibitem[Wd89]{QP-readings}
D.S. Weld and J.~{de Kleer}.
\newblock {\em Readings in Qualitative Reasoning about Physical Systems}.
\newblock Morgan Kaufmann, 1989.

\end{thebibliography}
