Temporal Synchronous Concurrent Constraint Programming
Luboš Brim, DAVID R. GILBERT, Jean-Marie Jacquet, Mojmír Křetínský · 1997
Concurrent constraint programming is a declarative formalism with elegant semantics; recently several attempts have been made to enrich this paradigm so that it can describe real-time systems. We propose an extension of the ccp paradigm in a way which overcomes some of the disadvantages of some of the previous approaches and makes the paradigm suitable for specifying and analysing the "actual" time component of time--critical and and real-time systems. Our extension is based on allowing processes to progress in time by performing time actions which can be quantified by time elements chosen from a suitable time domain.