Suchergebnisse - "Timed Concurrent Constraint programming"

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., systems that …”
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: The …”
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. This makes tccp especially …”
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) for expressing …”
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) paradigm that allows us to specify …”
Volltext

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

“… This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed …”
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) for …”
Volltext

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

“… In this paper we present an approach to model concurrent systems specified in a temporal concurrent constraint language. Our goal is to construct a framework …”
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. This makes tccp especially …”
Volltext