Suchergebnisse - timed concurrent constraint programming

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

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

Foundations of timed concurrent constraint programming von 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 …”
Volltext

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

“… The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc …”
Volltext

Timed Concurrent Constraint Programming for Analysing Biological Systems von 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 …”
Volltext

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

“… The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems …”
Volltext

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

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

A semantic framework for the abstract model checking of tccp programs von 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 …”
Volltext

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles von 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 …”
Volltext

On the expressiveness of Timed Concurrent Constraint Programming von 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 the synchronous paradigm Timed Concurrent Constraint (tcc …”
Volltext

Abstract diagnosis for timed concurrent constraint programs von COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat …”
Volltext

Two semantics for Timed Default Concurrent Constraint Programming von Tini, Simone, Maggiolo-Schettini, Andrea

“… By applying this approach, we define two semantics for Timed Default Concurrent Constraint Programming …”
Volltext

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I von 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 …”
Volltext

A Tool for Generating a Symbolic Representation of tccp Executions von 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 …”
Volltext

Abstract Model Checking of tccp programs von 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 …”
Volltext

Abstract Interpretation of Temporal Concurrent Constraint Programs von 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 …”
Volltext

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach von 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 …”
Volltext

Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems von Toro, Mauricio

“… In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP …”
Volltext