Výsledky vyhledávání - "Concurrent Constraint programming"

Subexponential concurrent constraint programming Autor 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…”
Získat plný text

Models and emerging trends of concurrent constraint programming Autor 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…”
Získat plný text

A concurrent constraint programming interpretation of access permissions Autor 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…”
Získat plný text

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

“…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
Získat plný text

Observational and behavioural equivalences for soft concurrent constraint programming Autor 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…”
Získat plný text

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

“…Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory…”
Získat plný text

A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor 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…”
Získat plný text

Linear Concurrent Constraint Programming: Operational and Phase Semantics Autor 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…”
Získat plný text

On subexponentials, focusing and modalities in concurrent systems Autor 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…”
Získat plný text

Truly concurrent constraint programming Autor 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…”
Získat plný text

Timed Default Concurrent Constraint Programming Autor 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…”
Získat plný text

A Variant of Concurrent Constraint Programming on GPU Autor 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…”
Získat plný text

On concurrent behaviors and focusing in linear logic Autor 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…”
Získat plný text

Proving Concurrent Constraint Programming Correct, Revisited Autor 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…”
Získat plný text

Dynamic Spaces in Concurrent Constraint Programming Autor 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…”
Získat plný text

Stochastic Concurrent Constraint Programming Autor 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…”
Získat plný text

Hybrid behaviour of Markov population models Autor Bortolussi, Luca

“…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
Získat plný text

A Symbolic Model for Timed Concurrent Constraint Programming Autor 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…”
Získat plný text

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

Získat plný text

Confluence in concurrent constraint programming Autor 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…”
Získat plný text