On the expressive power of temporal concurrent constraint programming languages

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)

Volumn , Issue , 2002, Pages 156-167

  Nielsen, Mogens ^a   Palamidessi, Catuscia ^a   Valencia, Frank D ^a  

^a NONE

Author keywords

Constraint programming; Expressiveness; Timed systems

Indexed keywords

CONSTRAINT THEORY; LOGIC PROGRAMMING; RECURSIVE FUNCTIONS; SEMANTICS; TIME SHARING SYSTEMS;

CONSTRAINT PROGRAMMING; SYNCHRONOUS LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036989084     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/571157.571173     Document Type: Conference Paper

References (21)

1. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. J. R. Buchi. On a decision method in restricted second order arithmetic. In Proc. Int. Cong. on Logic, Methodology, and Philosophy of Science, pages 1-11. Stanford University Press, 1962.
3. F. de Boer, M. Gabbrielli, and M. C. Meo. A timed concurrent constraint language. Information and Computation, 161(1):45-83, 2000.
4. F. S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving concurrent constraint programs correct. ACM TOPLAS, 19(5):685-725, 1997.
5. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
6. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In W. R. Cleaveland, ed., CONCUR '92, volume 630 of LNCS, pages 550-564. 1992. Springer-Verlag.
7. N. P. Mendler, P. Panangaden, P. J. Scott, and R. A. G. Seely. A logical view of concurrent constraint programming. Nordic Journal of Computing, 2(2):181-220.
8. R. Milner. Communication and Concurrency. Int. Series in Computer Science. Prentice Hall, 1989.
9. R. Milner. Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.
10. M. Nielsen and F. Valencia. Temporal Concurrent constraint programming: Applications and behavior. In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, volume 2300 of LNCS, Ch. 4, pages 298-324. Springer-Verlag, 2002.
11. M. Nielsen, C. Palamidessi, and F. Valencia. On the expressive power of concurrent constraint programming languages. Tech. Report RS-02-22, BRICS, University of Aarhus.
12. C. Palamidessi and F. Valencia. A temporal concurrent constraint programming calculus. In Proc. of the Int. Conf. on Principles and Practice of Constraint Programming, volume 2239 of LNCS, pages 302-316. Springer-Verlag, 2001.
13. E. L. Post. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, 52:264-268, 1946.
14. V. Saraswat. Concurrent Constraint Programming. The MIT Press, 1993.
15. V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proc. of the IEEE Symp. on Logic in Computer Science, pages 71-80. IEEE Computer Society Press, 1994.
16. V. Saraswat, R. Jagadeesan, and V. Gupta. Programming in timed concurrent constraint languages. In Constraint Programming, volume 131 of NATO ASI Sub-series F: Computer and System Sciences, Ch. 4, pages 361-410. Springer-Verlag, 1994.
17. V. Saraswat, R. Jagadeesan, and V. Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5-6):475-520, 1996.
18. V. Saraswat, M. Rinard, and P. Panangaden. The semantic foundations of concurrent constraint programming. In Proc. of the ACM Symp. on Principles of Programming Languages, pages 333-352. ACM Press, 1991.
19. J. R. Shoenfield. Mathematical Logic. Addison-Wesley Publishing Company, 1967.
20. A. Sistla, M. Vardi, and P. Wolper. The complementation problem for buchi automata with applications to temporal logic. Theoretical Computer Science, 49:217-237, 1987.
21. S. Tint. On the expressiveness of timed concurrent constraint programming. Electronics Notes in Theoretical Computer Science, 1999.