Výsledky vyhledávání - "timed concurrent constraint programming"

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…”
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

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: The…”
Získat plný text

Foundations of timed concurrent constraint programming Autor Saraswat, V.A., Jagadeesan, R., Gupta, V.

“…We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way…”
Získat plný text

Timed Concurrent Constraint Programming for Analysing Biological Systems Autor Gutiérrez, Julian, Pérez, Jorge A., Rueda, Camilo, Valencia, Frank D.

“…In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the…”
Získat plný text

A Framework for Timed Concurrent Constraint Programming with External Functions Autor Alpuente, M., Gramlich, B., Villanueva, A.

“…The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems…”
Získat plný text

A semantic framework for the abstract model checking of tccp programs Autor 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…”
Získat plný text

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

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získat plný text

On the expressiveness of Timed Concurrent Constraint Programming Autor Tini, Simone

“…We prove that both the synchronous data flow language Lustre restricted to finite value types and the synchronous state oriented language Argos are embedded in…”
Získat plný text

Automatic verification of timed concurrent constraint programs Autor 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…”
Získat plný text

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles Autor Papadopoulos, George A.

“… concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been developed for logic…”
Získat plný text

A Tool for Generating a Symbolic Representation of tccp Executions Autor Lescaylle, Alexei, Villanueva, Alicia

“…The Timed Concurrent Constraint language (tccp) was defined by F. de Boer et al. as an extension of the Concurrent Constraint Paradigm (Saraswat, 1993) for…”
Získat plný text

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

“… This structure is a graph representation of the program behavior. Our basic tool is the Timed Concurrent Constraint Programming (tcc…”
Získat plný text

Abstract Model Checking of tccp programs Autor 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…”
Získat plný text

An axiomatic semantics for the synchronous language Gentzen Autor Tini, Simone

“…We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming proposed by Saraswat, Jagadeesan and Gupta…”
Získat plný text

Towards a Unified Framework for Declarative Structured Communications Autor López, Hugo A., Olarte, Carlos, Pérez, Jorge A.

“… By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic…”
Získat plný text

Timed CCP compositionally embeds Argos and Lustre Autor Tini, Simone

“… Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp language encoding it compositionally with respect to the syntax of programs and linearly with respect to the size of programs…”
Získat plný text

Abstract Interpretation of Temporal Concurrent Constraint Programs Autor 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…”
Získat plný text

Spacetime Programming: A Synchronous Language for Composable Search Strategies Autor Talbot, Pierre

“… We propose spacetime programming, a paradigm extending the synchronous language Esterel and timed concurrent constraint programming with backtracking, for creating and composing search strategies…”
Získat plný text

Towards a Unified Framework for Declarative Structured Communications Autor López, Hugo A, Olarte, Carlos, Pérez, Jorge A

“… By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic…”
Získat plný text