Results 1  10
of
577,645
Concurrent Constraint Programming
, 1993
"... This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of comput.ing with parhal information, and the concommitant notions of consistency and entailment. ’ In this framework, computation emerges from the interaction of concurrently executing agent ..."
Abstract

Cited by 502 (16 self)
 Add to MetaCart
text of concurrency because of the use of constraints for communication and control, and in the context of AI because of the availability of simple yet powerful mechanisms for controlling inference, and the promise that very rich representational/programming languages, sharing the same set of abstract properties, may
Semantic foundations of concurrent constraint programming
, 1990
"... Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computation based on the notions of storeasconstraint and process as information transducer. The storeasvaluation conception of von Neumann computing is replaced by the notion that the store is a constr ..."
Abstract

Cited by 276 (27 self)
 Add to MetaCart
Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computation based on the notions of storeasconstraint and process as information transducer. The storeasvaluation conception of von Neumann computing is replaced by the notion that the store is a
A Concurrent Constraint Programming
 In CP 2002 Proceedings
, 2002
"... This paper shows an approach to model trajectory determination, using concurrent constraint programming, for autonomous multiagent systems in charge of automatically managing the mission of an uninhabited vehicle ..."
Abstract
 Add to MetaCart
This paper shows an approach to model trajectory determination, using concurrent constraint programming, for autonomous multiagent systems in charge of automatically managing the mission of an uninhabited vehicle
Stochastic concurrent constraint programming
 In Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, ENTCS
, 2006
"... We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set o ..."
Abstract

Cited by 44 (14 self)
 Add to MetaCart
We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set
Confluence in Concurrent Constraint Programming
 IN ALAGAR AND NIVAT, EDITORS, PROCEEDINGS OF AMAST '95, LNCS 936
, 1996
"... Concurrent constraint programming (ccp), like most of the concurrent paradigms, has a mechanism of global choice which makes computations dependent on the scheduling of processes. This is one of the main reasons why the formal semantics of ccp is more complicated than the one of its deterministic an ..."
Abstract

Cited by 27 (14 self)
 Add to MetaCart
Concurrent constraint programming (ccp), like most of the concurrent paradigms, has a mechanism of global choice which makes computations dependent on the scheduling of processes. This is one of the main reasons why the formal semantics of ccp is more complicated than the one of its deterministic
Probabilistic Concurrent Constraint Programming
 In Proceedings of CONCUR 97
, 1997
"... . We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators for default reasoning. We extend pcc uniformly over time, to get a synchronous reactive probabilistic programming language, Time ..."
Abstract

Cited by 22 (0 self)
 Add to MetaCart
that the denotational models are fully abstract for an operational semantics that records probability information. 1 Introduction Concurrent constraint programming(CCP, [Sar93]) is an approach to computation which uses constraints for the compositional specification of concurrent systems. It replaces the traditional
BISIMILARITY IN CONCURRENT CONSTRAINT PROGRAMMING
, 2010
"... In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broader capture of processes behavioural equivalence. Moreover, we work towards exploiting the strong connection between first order ..."
Abstract
 Add to MetaCart
In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broader capture of processes behavioural equivalence. Moreover, we work towards exploiting the strong connection between first order
Truly Concurrent Constraint Programming
 CONCUR96 – Concurrency Theory, volume 1119 of LNCS
, 1996
"... . Concurrent Constraint Programming (CCP) is a powerful computation model for concurrencyobtained by internalizing the notion of computation via deduction over (firstorder) systems of partial information (constraints). In [SRP91] a semantics for indeterminate CCP was given via sets of bounded trace ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
. Concurrent Constraint Programming (CCP) is a powerful computation model for concurrencyobtained by internalizing the notion of computation via deduction over (firstorder) systems of partial information (constraints). In [SRP91] a semantics for indeterminate CCP was given via sets of bounded
Models for Concurrent Constraint Programming
 CONCUR ’96: Concurrency Theory, 7th International Conference, volume 1119 of Lecture Notes in Computer Science
, 1996
"... . Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneously active), communication (they interact via the monotonic accumulation of constraints on shared variables), coordination (the ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneously active), communication (they interact via the monotonic accumulation of constraints on shared variables), coordination (the
Proving Concurrent Constraint Programs Correct
, 1994
"... We develop a compositional proofsystem for the partial correctness of concurrent constraint programs. Soundness and (relative) completeness of the system are proved with respect to a denotational semantics based on the notion of strongest postcondition. The strongest postcondition semantics provide ..."
Abstract

Cited by 61 (13 self)
 Add to MetaCart
We develop a compositional proofsystem for the partial correctness of concurrent constraint programs. Soundness and (relative) completeness of the system are proved with respect to a denotational semantics based on the notion of strongest postcondition. The strongest postcondition semantics
Results 1  10
of
577,645