Distributed Concurrent Constraint Programming

Fundamenta Informaticae

Volumn 34, Issue 3, 1998, Pages 323-346

  Réty, Jean Hugues ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

Concurrent Constraint languages; Concurrent languages; Distributed languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONCURRENT PROGRAMMING LANGUAGE; CONSTRAINT PROGRAMMING; DISTRIBUTED PROGRAMMING LANGUAGE;

LOGIC PROGRAMMING;

EID: 0346970938     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1998-34305     Document Type: Article

References (29)

1. J.A. Bergstra, J. Heering, and J.W. Klop. Object-oriented algebraic specification: Proposal for a notation and 12 examples. Technical Report CS-R8411, CWI, P.O. Box 94079, 1090 GB Amsterdam, The netherlands, 1984.
2. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
3. E. Best, F.S. de Boer, and C. Palamidessi. Partial order and SOS semantics for linear constraint programs. In proc. of Coordination'97, LNCS vol.1282, pages 256-273. Springer-Verlag, September 1997.
4. F.S. de Boer, A. di Pierro, and C. Palamidessi. An algebraic perspective of constraint logic programming. Journal of Logic and Computation, 7(1):1-38, 1997.
5. A. Brogi and P. Ciancarini. The concurrent language shared prolog. ACM Transactions on Programming Languages and Systems, 13(1):99-123, 1991.
6. A. Brogi and P. Ciancarini. Distributed logic programming. Journal of Logic Programming, 15(4):295-335, 1993.
7. N. Carriero and D. Gelernter. Linda in context. Communications of the ACM 32(4), April 1989.
8. A. Corradini, U. Montanari, and F. Rossi. Sharm: Concurrency and hiding in an abstract rewriting machine. In proc. of Fifth Generation Computer Systems, pages 887-896, 1992.
9. K. De Bosschere and J.-M. Jacquet. Multi-prolog: Definition, operational semantics and implementation. In proc. of International Conference in Logic Programming, pages 299-313, 1993.
10. S. Haridi, P. Van Roy, and G. Smolka. An overview of the design of distributed Oz. In PASCO'97, july 1997. available electronically at http://www.info.ucl.ac.be/people/PVR/distribution.html.
11. M. Henz, G. Smolka, and J. Würtz. Oz-a programming language for multiagent systems. In proc. of 13th Int. Joint Conference on Artificial Intelligence, pages 404-409. Morgan Kaufmann Publishers, 1993.
12. K. Hirata, R. Yamamoto, A. Imai, H. Kaway, K. Hirano, T. Takagi, and K. Taki. Parallel and distributed implementations of concurrent logic programming language KL1. In proc. of the Int. Conf. on Fifth Generation Computer Systems, pages 436-459, 1992.
13. C.A.R. Hoare. Communicating sequential processes. Communication of the ACM, 21(8):666-677, August 1978.
14. J. Jaffar and J.-L. Lassez. Constraint logic programming. In proc. of the SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 111-119. ACM, 1987.
15. C. Laneve and U. Montanari. Mobility in the CC-paradigm. In proc. of Mathematical Foundations of Computer Science, LNCS vol. 629, pages 336-345. Springer-Verlag, 1992.
16. R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119-141, June 1992.
17. R. Milner, J.G. Parrow, and D.J. Walker. A calculus of mobile processes, parts I and II. Technical Report ECS-LFCS-89-85 and -86, LFCS, Edinburgh University, 1989.
18. Joachim Niehren and Martin Müller. Constraints for Free in Concurrent Computation. In Asian Computing Science Conference, LNCS vol. 1023, pages 171-186. Springer-Verlag, 1995.
19. C. Palamidessi. Constraint programming for concurrent and distributed computing. In Journées Francophones de Programmation Logique et programmation par Contraintes, pages 11-20. Hermès Editions (Paris), May 1997. Invited talk.
20. L. Pereira and R. Nasr. Delta-prolog: A distributed logic programming language. In proc. of International Conference on Fifth Generation Computer systems, pages 283-291. ICOT, 1984.
21. Benjamin C. Pierce. Programming in the pi-calculus: A tutorial introduction to Pict. Available electronically, 1996.
22. J.-H. Réty. Langages Concurrents avec Contraintes: Communication par Messages et Distribution. PhD thesis, Université d'Orléans, January 1997. In French.
23. V.A. Saraswat. Concurrent Constraint Programming. Phd thesis, Carnegie-Mellon University, 1989.
24. V.A. Saraswat. The category of constraint systems is cartesian closed. In proc. 7th IEEE Symp. on Logic in Computer Science, pages 341-345, 1992.
25. V.A. Saraswat, K. Kahn, and J. Levy. Janus: a step towards distributed constaint programming. In proc. of the North American Conference on Logic Programming, 1990.
26. V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In proc. eighteen annual ACM symposium on Principles of Programming Languages, pages 333-353, 1991.
27. Gert Smolka. A foundation for higher-order concurrent constraint programming. In 1st International Conference on Constraints in Computational Logics, LNCS vol. 845, pages 50-72. Springer-Verlag, 1994.
28. +-calculus. Technical Report AV-97-02, grupo Avispa Universidad Javeriana, Universidad del Valle, Cali, 1997. available electronically: ftp://sofia.univalle.edu.co/pub/Avispa/Pi+/.
29. P. Van Roy, S. Haridi, P. Brand, G. Smolka, M. Mehl, and R. Scheidhauer. Mobile object in distributed Oz. ACM Transactions on Programming Languages and Systems, 19(5):804-851, 1997.