Sciweavers

Share
NJC
2002

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

8 years 10 months ago
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.
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where NJC
Authors Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
Comments (0)
books