Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,455,461 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent constraint logic programming
Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Alice
Concurrent logic programming
Constraint programming
Constraint satisfaction
Expand
Broader (3)
Concurrent computing
Constraint logic programming
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Self-Stabilizing Leader Election Algorithm in Highly Dynamic Ad-hoc Mobile Networks
K. Ranganath
,
L. N. Kumar
,
Y. V. Sreevani
2011
Corpus ID: 11448478
We propose a self-stabilizing leader election algorithm that can tolerate multiple concurrent topological changes. By introducing…
Expand
2010
2010
Compositional modelling of signalling pathways in timed concurrent constraint programming
Davide Chiarugi
,
M. Falaschi
,
C. Olarte
,
C. Palamidessi
ACM International Conference on Bioinformatics…
2010
Corpus ID: 15542575
The biological data regarding the signalling pathways often consider single pathways or a small number of them. We propose a…
Expand
2006
2006
On Internalizing Modules as Agents in Concurrent Constraint Programming
Rémy Haemmerlé
,
F. Fages
,
S. Soliman
2006
Corpus ID: 116204118
Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the…
Expand
2000
2000
Mobile Agents Based on Concurrent Constraint Programming
M. Paralic
Joint Modular Languages Conference
2000
Corpus ID: 41005859
This paper introduces an experimental framework for mobile agents. It utilizes expressiveness and formal foundation of concurrent…
Expand
2000
2000
${\cal SMDP}$: minimizing buffer requirements for continuous media servers
Y. Won
,
J. Srivastava
Multimedia Systems
2000
Corpus ID: 9304400
Abstract. Excessive buffer requirement to handle continuous-media playbacks is an impediment to cost- effective provisioning for…
Expand
1995
1995
Attribute Grammar Based Modeling of Concurrent Constraint Logic Programming
C. Voliotis
,
N. Sgouros
,
G. Papakonstantinou
Int. J. Artif. Intell. Tools
1995
Corpus ID: 26236036
The development of more powerful Concurrent Constraint Logic Programming (CCLP) languages depends largely on the development of…
Expand
1993
1993
Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers
Bo-Ming Tong
,
Ho-fung Leung
ILPS
1993
Corpus ID: 15234277
With the advent of cost-eeective massively parallel computers, researchers conjecture that the future constraint logic…
Expand
1993
1993
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm
T. Savor
,
P. Dasiewicz
Principles and Practice of Constraint Programming
1993
Corpus ID: 15470351
Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to…
Expand
1993
1993
Contextual Occurence Nets and Concurrent Constraint Programming
U. Montanari
,
F. Rossi
Dagstuhl Seminar on Graph Transformations in…
1993
Corpus ID: 12190787
This paper proposes a new semantics for concurrent constraint programs. The meaning of each program is defined as a contextual…
Expand
1992
1992
On the Semantics of Concurrent Constraint Programming
F. S. Boer
,
C. Palamidessi
UK Conference on Logic Programming
1992
Corpus ID: 30202824
One of the main aims of this paper is to show that the nature of the communication mechanism of concurrent constraint languages…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE