Search Results - "concurrent constraint programming"

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

“…In this work we present the focused proof system SELLF⋒, which extends intuitionistic linear logic with subexponentials with the ability of quantifying over…”
Get full text

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…”
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…”
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). In particular, we focus on models from…”
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: The…”
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. It models systems 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. We provide a library of sCCP processes that…”
Get full text

Hybrid dynamics of stochastic programs by Bortolussi, Luca, Policriti, Alberto

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

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. In CHR, guarded…”
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. Its foundations and principles e.g., semantics,…”
Get full text

Weak CCP bisimilarity with strong procedures by Pino, Luis F., Aristizábal, Andrés, Bonchi, Filippo, Valencia, Frank

“…•We show that the standard saturation method for reducing weak bisimilarity to strong bisimilarity does not work for CCP.•We provide a new saturation method…”
Get full text

LMNtal as a hierarchical logic programming language by Ueda, Kazunori

“…LMNtal (pronounced “ elemental”) is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and…”
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. Since their…”
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., systems that…”
Get full text

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios by Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“…Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need…”
Get full text

Observational equivalences for linear logic concurrent constraint languages by Haemmerle, Remy

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC), where the constraint system is based on…”
Get full text

A semantic framework for the abstract model checking of tccp programs by Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“…The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm. This makes tccp especially…”
Get full text

Decidability of infinite-state timed CCP processes and first-order LTL by Valencia, Frank D.

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing…”
Get full text

Automatic verification of timed concurrent constraint programs by FALASCHI, MORENO, VILLANUEVA, ALICIA

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify…”
Get full text