Abstract
The areas of Qualitative Reasoning about physical systems (Weld and de Kleer 1989), reasoning about action and state change (Ginsberg 1987), reactive, realtime computing (Real-time systems 1991) and concurrent programming languages (Milner 1980; Hoare 1985) are areas of inquiry that are fundamentally about the same subject matter — the representation, design and analysis of continuous and discrete dynamical systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky. Interaction categories. Available by anonymous ftp from papers/Abramsky:http://www.theory.doc.ic.ac.uk, 1993.
A. V. Aho, R. Sethi, and J. D. Ullman. Compilers - Principles, techniques and tools. Addison-Wesley, 1985.
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. Metatem: A framework for programming in temporal logic. In J. W. de Bakker, W. P. de Roevere, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems- Models, Formalisms, Correctness. LNCS 430. Springer-Verlag, 1990.
M. Baudinet. Temporal logic programming is complete and expressive. In Proc. of ACM conference on Principles of Programming languages, 1989.
G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages, 1990.
F. Boussinot and R. de Simone. The ESTEREL language. Proceedings of the IEEE, 79 (9): 1293–1304, 1991.
G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, Information Processing 89, pages 11–17. Elsevier. ( North-Holland ), 1989.
G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. LNCS 781. Springer-Verlag, 1993.
G. Berry and. G. Gonthier. The ESTEREL programming language: Design, semantics and implementation. Science of Computer Programming, 19 (2): 87–152, November 1992.
G. Berry, S. Ramesh, and R.K. Shyamsunder. Communicating reactive processes. In Proceedings of Twentieth ACM Symposium on Principles of Programming Languages, pages 85–98, 1993.
C. Brzoska. Temporal logic programming and its relation to constraint logic programming. In V. A. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, pages 661–677, 1991.
K. Forbus and J. deKleer. Building Problem Solvers. MIT Press, 1993.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with SIGNAL. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
Matthew Ginsberg, editor. Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.
N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic Publishers, 1993.
N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language LUSTRE. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, Special issue on Another Look at Real-time Systems, September 1991.
S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings of Fifth National Conference on Artificial Intelligence, pages 328–333, 1986.
D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231 — 274, 1987.
D. Harel and A. Pnueli. On the development of reactive systems,In: K. R. Apt (ed.) Logics and Models of Concurrent Systems, pages 471–498. NATO ASI Series F, Vol. 13. Springer-Verlag, 1985.
C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, London, 1985.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1985.
P. Van Hentenryck, V. A. Saraswat, and Y. Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
H.T. Kung. Let’s design algorithms for VISI systems. Technical Report 151, CMU-CS, Jan 1979.
Z. Manna and A. Pnueli. A hierarchy of temporal properties. In Proceedings of the ACM SIGPLAN conference on Principles of Programming Languages, 1990.
R. Merz. Efficiently executing temporal logic programs. In M. Fisher and R. Owens, editors, Proc. of IJCAI, 1993.
R. Milner. A calculus of communicating systems. LNCS 92, Springer-Verlag, 1980.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25: 267–310, 1983.
B. Moszkowski. Executing Temporal Logic Programs. Cambridge Univ. Press, 1986.
R. Milner, J. G. Parrow, and D. J. Walker. A calculus for mobile processes, part I and II. LFCS Report ECS-LFCS-89–85, University of Edinburgh, 1989.
G. Murakami and R. Sethi. Terminal call processing in esterel. Technical Report 150, ATand T Bell Labs, 1990. Special issue on real-time systems, 1991.
G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. In Proceedings of ICALP ‘86,LNCS 226 Springer-Verlag, 1986.
Vijay A. Saraswat. The Category of Constraint Systems is Cartesian-closed. In Proc. 7th IEEE Symp. on Logic in Computer Science, Santa Crux, 1992.
Vijay A. Saraswat. Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series. MIT Press, March 1993.
Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta. Foundations of timed concurrent constraint programming Technical report, Xerox Palo Alto Research Center, December 1993. Submitted for publication.
Vijay A. Saraswat, Martin Rivard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In Proceedings of Eighteenth ACM Symposium on Principles of Programming Languages, Orlando, January 1991.
D.S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saraswat, V., Jagadeesan, R., Gupta, V. (1994). Programming in Timed Concurrent Constraint Languages. In: Mayoh, B., Tyugu, E., Penjam, J. (eds) Constraint Programming. NATO ASI Series, vol 131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-85983-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-85983-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-85985-4
Online ISBN: 978-3-642-85983-0
eBook Packages: Springer Book Archive