Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

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 modeling asynchronous and nondeterministic timed behavior. We call this tcc extension the ntcc calculus. We also give a denotational semantics for the strongestpostcondition of ntcc processes and, based on this semantics, we develop a proof system for linear-temporal properties of these processes. The expressiveness of ntcc is illustrated by modeling cells, timed systems such as RCX controllers, multi-agent systems such as the Predator/Prey game, and musical applications such as generation of rhythms patterns and controlled improvisation.

• Type: Journal
• Year: 2002
• Where: NJC
• Authors: Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
• Keywords: Concurrent Constraint Programming, NJC 2002, Reactive Concurrent Constraint, Temporal Concurrent Constraint