Concurrent constraint logic programming

Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than… (More)
Wikipedia

Related topics

Related topics

18 relations
AliceConcurrent logic programmingConstraint programmingConstraint satisfaction
(More)

Broader (3)

Concurrent computingConstraint logic programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint… (More)
  • table 3.1
  • table 6.1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A Timed Concurrent Constraint Language
We study a timed concurrent constraint language, called tccp, which is obtained by a natural timed interpretation of the usual… (More)
  • table 1
  • table 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Timed Default Concurrent Constraint Programming
Synchronous programming .(Berry, 1989) is a powerful approach to programming reactive systems. Following the idea that “processes… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Foundations of Timed Concurrent Constraint Programming
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model… (More)
  • figure 1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A Foundation for Higher-order Concurrent Constraint Programming
We present the calculus a computational calculus for higher order concurrent programming The calculus can elegantly express… (More)
Is this relevant?
1993
1993
Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers
With the advent of cost-eeective massively parallel computers, researchers conjecture that the future constraint logic… (More)
Is this relevant?
1993
1993
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm
Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Semantic Foundations of Concurrent Constraint Programming
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A Fully Abstract Model for Concurrent Constraint Programming
Note: Part of this work was carried out in the context of the ESPRIT Basic Research Action (3020) Integration. The research of… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Concurrent Constraint Programming
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… (More)
Is this relevant?