Search Results - concurrent constraint programming

Subexponential concurrent constraint programming by Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Get full text

Linear Concurrent Constraint Programming: Operational and Phase Semantics by Fages, François, Ruet, Paul, Soliman, Sylvain

“…In this paper we give a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems…”
Get full text

Models and emerging trends of concurrent constraint programming by Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

“…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems…”
Get full text

A concurrent constraint programming interpretation of access permissions by OLARTE, CARLOS, PIMENTEL, ELAINE, RUEDA, CAMILO

“… This paper presents a declarative interpretation of APs as linear concurrent constraint programs (lcc…”
Get full text

Modeling Biological Systems in Stochastic Concurrent Constraint Programming by Bortolussi, Luca, Policriti, Alberto

“…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
Get full text

Observational and behavioural equivalences for soft concurrent constraint programming by Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

“…We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction…”
Get full text

Efficient algorithms for program equivalence for confluent concurrent constraint programming by Pino, Luis F., Bonchi, Filippo, Valencia, Frank

“…Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory…”
Get full text

Timed soft concurrent constraint programs: An interleaved and a parallel approach by BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
Get full text

A Proof Theoretic Study of Soft Concurrent Constraint Programming by PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

“…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
Get full text

On subexponentials, focusing and modalities in concurrent systems by Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine

“… We show that the view of subexponentials as specific modalities is general enough to give a modular encoding of different flavors of Concurrent Constraint Programming (CCP…”
Get full text

An operational semantics for probabilistic concurrent constraint programming by Di Pierro, A., Wiklicky, H.

“…The paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP…”
Get full text

Truly concurrent constraint programming by Gupta, V., Jagadeesan, R., Saraswat, V.A.

“…We study “causality” relationships in Concurrent Constraint Programming: what is observed is not just the conjunction of constraints deposited in the store, but also the causal dependencies between these constraints…”
Get full text

A Variant of Concurrent Constraint Programming on GPU by Talbot, Pierre, Pinel, Frédéric, Bouvry, Pascal

“… To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming…”
Get full text

Timed Default Concurrent Constraint Programming by SARASWAT, VIJAY, JAGADEESAN, RADHA, GUPTA, VINEET

“…, extending the closure-operator model for untimed concurrent constraint programming (CCP). In Saraswat et al. (1994a) we had proposed a model for this called tcc…”
Get full text

On concurrent behaviors and focusing in linear logic by Olarte, Carlos, Pimentel, Elaine

“…Concurrent Constraint Programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global store of partial information…”
Get full text

Dynamic Spaces in Concurrent Constraint Programming by Olarte, Carlos, Nigam, Vivek, Pimentel, Elaine

“…Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling…”
Get full text

Proving Concurrent Constraint Programming Correct, Revisited by Olarte, Carlos, Pimentel, Elaine

“…Concurrent Constraint Programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global store of partial information…”
Get full text

Abstract interpretation of temporal concurrent constraint programs by FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Stochastic Concurrent Constraint Programming by Bortolussi, Luca

“…We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store…”
Get full text

Parallelism, concurrency and distribution in constraint handling rules: A survey by FRÜHWIRTH, THOM

“…Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism…”
Get full text