Search Results - temporal concurrent constraint programming~

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk) by Palamidessi, Catuscia, Nielsen, Mogens, Valencia, Frank D.

“…The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature…”
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…”
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 concurrent constraint programming (CCP…”
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…”
Get full text

A stochastic non-deterministic temporal concurrent constraint calculus by Olarte, C., Rueda, C.

“…We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior…”
Get full text

On validity in modelization of musical problems by CCP by Rueda, C., Valencia, F.

“…We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes…”
Get full text

Combining quantitative and qualitative reasoning in concurrent multi-player games by Bulling, Nils, Goranko, Valentin

“…We propose a general framework for modelling and formal reasoning about multi-agent systems and, in particular, multi-stage games where both quantitative and qualitative objectives and constraints are involved…”
Get full text

A constraint-based language for modelling intelligent environments by Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura, Titolo, Laura

“… that control the evolution of the physical variables. The growing boom in intelligent environments makes the construction of complex discrete components necessary, which may require the use of more sophisticated concurrent languages…”
Get full text

Abstract Diagnosis for tccp using a Linear Temporal Logic by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… In this work, we provide an alternative automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal…”
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

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
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

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

Abstract Interpretation of Temporal Concurrent Constraint Programs by Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

A temporal logic for reasoning about timed concurrent constraint programs by de Boer, F.S., Gabbrielli, M., Meo, M.C.

“…A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs…”
Get full text

Computing with continuous change by Gupta, V., Jagadeesan, R., Saraswat, V.A.

“… equations and real analysis on the one hand, and the theory of programming languages on the other…”
Get full text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning by Pane, Yudha, Mokhtari, Vahid, Aertbelien, Erwin, De Schutter, Joris, Decre, Wilm

“…Constraint-based robot programming allows for implementing sensor-based skills that react to disturbances on the one hand, and composable skills that dynamically create and reconfigure complex robot…”
Get full text

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE by Uchihira, Naoshi, Honiden, Shinichi

“… A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect…”
Get full text

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I by Falaschi, Moreno, Policriti, Alberto, Villanueva, Alicia

“…In this paper we present an approach to model concurrent systems specified in a temporal concurrent constraint language…”
Get full text

STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach by Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan

“…) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal…”
Get full text

Using temporal relations to specify and test an instant messaging server by Hughes, John, Norell, Ulf, Sautret, J.

“…Asynchronous events are awkward to handle in specification-based testing. State machine specifications become very complex when variable event order, timing constraints, and timing uncertainties must all be captured…”
Get full text