Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,292,340 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
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
Default timed concurrent constraint programming
V. Saraswat
,
R. Jagadeesan
,
Vineet Gupta
ACM-SIGACT Symposium on Principles of Programming…
1995
Corpus ID: 15481706
We extend the model of [SJG94b] to express strong time-outs (and pre-emption): if an event <italic>A</italic> does not happen…
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
1992
1992
A Process Algebra of Concurrent Constraint Programming
F. S. Boer
,
C. Palamidessi
Joint International Conference and Symposium on…
1992
Corpus ID: 21635199
We develop an algebraic theory for the observational equivalence of concur rent constraint programs which identifies processes…
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