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

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

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

“… This paper presents a declarative interpretation of APs as linear concurrent constraint programs (lcc…”
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

Timed soft concurrent constraint programs: An interleaved and a parallel approach Autor 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…”
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

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

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

“…The paper investigates a probabilistic version of the concurrent constraint programming paradigm (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

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

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

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

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

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

Abstract interpretation of temporal concurrent constraint programs Autor 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…”
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

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

“…Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism…”
Získat plný text