Suchergebnisse - "Concurrent constraint programming"

Subexponential concurrent constraint programming von 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 …”
Volltext

Models and emerging trends of concurrent constraint programming von 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 …”
Volltext

A concurrent constraint programming interpretation of access permissions von 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 …”
Volltext

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

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

Observational and behavioural equivalences for soft concurrent constraint programming von 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 …”
Volltext

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

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

A Proof Theoretic Study of Soft Concurrent Constraint Programming von 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 …”
Volltext

Linear Concurrent Constraint Programming: Operational and Phase Semantics von 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 …”
Volltext

On subexponentials, focusing and modalities in concurrent systems von 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 …”
Volltext

Truly concurrent constraint programming von 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 …”
Volltext

Timed Default Concurrent Constraint Programming von 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 …”
Volltext

A Variant of Concurrent Constraint Programming on GPU von 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 …”
Volltext

On concurrent behaviors and focusing in linear logic von 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 …”
Volltext

Proving Concurrent Constraint Programming Correct, Revisited von 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 …”
Volltext

Dynamic Spaces in Concurrent Constraint Programming von 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 …”
Volltext

Stochastic Concurrent Constraint Programming von 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 …”
Volltext

Hybrid behaviour of Markov population models von Bortolussi, Luca

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

A Symbolic Model for Timed Concurrent Constraint Programming von 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 …”
Volltext

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

Volltext

Confluence in concurrent constraint programming von 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 …”
Volltext