Search Results - "timed concurrent constraint programming"

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

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

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

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles by 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…”
Get full text

A Tool for Generating a Symbolic Representation of tccp Executions by 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…”
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. Our goal is to construct a framework…”
Get full text

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