Distributed Concurrent Constraint Programming

Authors:
Jean-Hugues Réty
Affiliations:
(Current affiliation: CWI, P.O. Box 94079, 1090 GB, The Netherlands. e-mail:jean-hugues.rety@cwi.nl Address for correspondence: CWI, P.O. Box 94079, 1090 GB, The Netherlands) INRIA - Rocquencourt, ...
Venue:
Fundamenta Informaticae
Year:
1998

Citing 16
Cited 1

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Linda in context

Communications of the ACM
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The concurrent language, Shared Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)
Janus: a step towards distributed constraint programming

Proceedings of the 1990 North American conference on Logic programming
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Multi-Prolog: Definition, operational semantics and implementation

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Mobile objects in distributed Oz

ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of the design of Distributed Oz

PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Communicating sequential processes

Communications of the ACM
Mobility in the CC-Paradigm

MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Constraints for Free in Concurrent Computation

ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Partial Order and SOS Semantics for Linear Constraint Programs

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A Foundation for Higher-order Concurrent Constraint Programming

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Concurrent constraint programming languages

Concurrent constraint programming languages
Oz: a programming language for multi-agent systems

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the problem of building distributed systems within the Concurrent Constraint programming framework (CC). CC languages form a shared memory constraint-based model of calculus and some of its main features, especially the global nature of the store and the communication mechanism, are impediments to distributed implementation. We think it to be necessary to introduce some new features in CC languages to build up a language suitable for distributed programming. We first discuss the solutions previously studied within the Logic Programming framework. Then, we propose the introduction of an asynchronous message-based communication mechanism. It smoothly integrates within CC, constraints allowing for a logical formulation of message-based communication, and induces notions of local computation, local store, and site.