Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Concurrent constraint logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint… Expand
Is this relevant?
2001
2001
A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on… Expand
Is this relevant?
1998
1998
We will show how the operational features of logic programming can be added as conservative extensions to a functional base… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract Synchronous programming (Berry, 1989) is a powerful approach to programming reactive systems. Following the idea that… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model… Expand
Is this relevant?
1993
1993
With the advent of cost-eeective massively parallel computers, researchers conjecture that the future constraint logic… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… Expand
Is this relevant?
1990
1990
Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence of the framework is that… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This thesis develops the framework of concurrent constraint programming. In this paradigm, concurrently executing agents interact… Expand
Is this relevant?