Concurrent and distributed programming using constraint logic programs

Authors:
Rafael Ramirez;Andrew Santosa
Affiliations:
Pompeu Fabra University, Barcelona, Spain;National University of Singapore, Singapore
Venue:
Proceedings of the 2004 ACM symposium on Applied computing
Year:
2004

Citing 5
Cited 0

A logic-based calculus of events

New Generation Computing
Modeling concurrency with partial orders

International Journal of Parallel Programming
JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Concurrent Programming Made Easy

ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a coordination language for high-level distributed programming. Its roots are in concurrent constraint programming where there is a shared constraint store and synchronization is achieved via constraint entailment. A system is modeled as: (a) a set of processes, and (b) a set of constraints which capture the concurrent behavior of the system. The key advantages are that (1) there is a clear separation of the concurrency and the functionality aspects of the system, (2) processes are coordinated explicitly by a declarative formalism, i.e. constraints, and (3) the processes-agents are programming language independent.