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

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

“…A recent trend in object-oriented programming languages is the use of access permissions (APs) as an abstraction for controlling concurrent executions of…”
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

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

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

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

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

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

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

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

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

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

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

Hybrid behaviour of Markov population models by Bortolussi, Luca

“…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
Get full text

A Symbolic Model for Timed Concurrent Constraint Programming by Arias, Jaime, Guzmán, Michell, Olarte, Carlos

“…Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic…”
Get full text

Modeling Biological Systems in Stochastic Concurrent Constraint Programming : Bioinformatics and constraints by BORTOLUSSI, Luca, POLICRITI, Alberto

Get full text

Confluence in concurrent constraint programming by Falaschi, Moreno, Gabbrielli, Maurizio, Marriott, Kim, Palamidessi, Catuscia

“…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…”
Get full text