Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

Abstract

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. CR Classification: F.3.1, F.3.2, D.1.3, D.3.3

Extracted Key Phrases

2 Figures and Tables

01020'04'06'08'10'12'14'16
Citations per Year

130 Citations

Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Nielsen2002TemporalCC, title={Temporal Concurrent Constraint Programming: Denotation, Logic and Applications}, author={Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia}, journal={Nord. J. Comput.}, year={2002}, volume={9}, pages={145-188} }