Semantics and expressive power of a timed concurrent constraint language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1330, Issue , 1997, Pages 47-61

  de Boer, Frank ^a   Gabbrielli, M ^b   Meo, M C ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; SEMANTICS;

ABSTRACT SEMANTICS; CONCURRENT CONSTRAINT; CONCURRENT CONSTRAINT PROGRAMMING; DENOTATIONAL MODELS; EXPRESSIVE POWER; INPUT-OUTPUT; PARALLEL OPERATORS;

COMPUTER PROGRAMMING;

EID: 21944443784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017429     Document Type: Conference Paper

References (20)

1. G, Berry and G. Gonthier, The ESTEEEL programming language:Design, semantics and implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. F.S. de Boer and M. Gabbrielli. Modeling Real-time in Concurrent Constraint Programming. In J. Lloyd editor, Proc. Int'l Logic Programming Symposium, ILPS'95. The MIT Press, 1995.
3. F.S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAPSOFT/CAAP, LNCS 493, pages 296-319. Springer-Verlag, 1991.
4. F.S. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Information and Computation, 108(1):128-151, 1991.
5. S. Brookes. A fully abstract semantics of a shared variable parallel language. In Proc. of LICS, 1993.
6. M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Confluence and concurrent constraint programming. In Proc. AMAST 95, LNCS 936, pages 531-545. Springer-Verlag, Berlin, 1995.
7. R. Giacobazzi, C. Palamidessi and F. R. Snzato. Weak Relative Pseudo-Complements of Closure Operators, em Algebra Universalis, 36(3): 405-412, 1996.
8. 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, 1991.
9. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, pages 231-274, 1987.
10. L. Henldn, J.D. Monk, and A. Tarski. Cyltndric Algebras (Part I). North-Holland, 1971.
11. P. Let Guernic, M. Let Borgue, T. Gauthier, and C. Let Marie. Programming real time applications with SIGNAL. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, 1991.
12. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20, pp. 503-581, 1994.
13. K. Marriott and M. Oderski. A Confluent calculus for concurrent constraint programming with guarded choice. In Proc. CP'95 Conf. on Principles and Practice of Constraint Programming, 1995.
14. P. Panangaden and V. Shanbhogue. The expressive power of Indeterminate Dataflow Primitives. Information and Computation 98(1), 99-131, 1992.
15. E. Y. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412-510, 1989.
16. V.A. Saiaswat and M. Rinaxd. Concurrent constraint programming. In Proc. of seventeenth ACM Symposium on Principles of Programming Languages, pages 232-245. ACM, New York, 1990.
17. V.A. Saraswat, R. Jagadeesan, and V. Gupta Foundations of Timed Concurrent Constraint Programming. In S. Abramsky editor, Proc. of the Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71-80. IEEE Computer Press, July 1994.
18. V.A. Saraswat, R. Jagadeesan, and V. Gupta Default Timed Concurrent Constraint Programming. In Proc. of POPL 95, 1995.
19. V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages, ACM, pages 333-353, 1991.
20. Gert Smolka. The Oz Programming Model. In Jan van Leeuwe editor, Computer Science Today, vol. 1000 of LNCS. Springer-Verlag, 1995.