The tcc model is a formalism for reactive concurrent constraint programming. We present a
model of temporal concurrent constraint programming which adds to tcc the capability of …

The language Timed Concurrent Constraint (tccp) is the extension over time of the
Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent …

The tcc model is a formalism for reactive concurrent constraint programming. In this paper
we propose a model of temporal concurrent constraint programming which adds to tcc the …

The Timed Concurrent Constraint programming language (tccp) introduces time aspects into
the Concurrent Constraint paradigm. This makes tccp especially appropriate for analyzing …

Automatic techniques for program verification usually suffer the well-known state explosion
problem. Most of the classical approaches are based on browsing the structure of some form …

The paper studies and compares two different approaches to model communication and
cooperation. The approaches are team automata, a well-defined variant of communicating …

The size and complexity of software systems are continuously increasing, which makes them
difficult and labor-intensive to develop, test and evolve. Since concurrent systems are …

The ntcc calculus is a model of non-deterministic temporal concurrent constraint
programming. In this paper we study behavioral notions for this calculus. In the underlying …

The Timed Concurrent Constraint language (tccp in short) is a declarative language inspired
by some formalisms specially developed to deal with concurrent and reactive systems. It is …

In this paper, we develop a symbolic representation for timed concurrent constraint (tccp)
programs, which can be used for defining a lightweight model–checking algorithm for …