Modelling Real-Time in Concurrent Constraint Programming

We develop a language for real-time programming based on the concurrent constraint programming (cep) paradigm. The language, called tccp, is obtamed by a natural timed interpretation of the usual cep constructs and by the addition of a simple construct which allows one to specify timing constraints. We define the operational semantics of tccp via a transition system and introduce a compositional and fully abstract model based on timed reactive sequences