TY - GEN
T1 - A temporal concurrent constraint programming calculus
AU - Palamidessi, Catuscia
AU - Valencia, Frank D.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus. The expressiveness of ntcc is illustrated by modeling cells, asynchronous bounded broadcasting and timed systems such as RCX controllers. We present a denotational semantics for the strongest-postcondition of ntcc processes and, based on this semantics, we develop a proof system for linear temporal properties of these processes.
AB - The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus. The expressiveness of ntcc is illustrated by modeling cells, asynchronous bounded broadcasting and timed systems such as RCX controllers. We present a denotational semantics for the strongest-postcondition of ntcc processes and, based on this semantics, we develop a proof system for linear temporal properties of these processes.
UR - https://www.scopus.com/pages/publications/84947908453
U2 - 10.1007/3-540-45578-7_21
DO - 10.1007/3-540-45578-7_21
M3 - Conference contribution
AN - SCOPUS:84947908453
SN - 3540428631
SN - 9783540428633
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 302
EP - 316
BT - Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings
A2 - Walsh, Toby
PB - Springer Verlag
T2 - 7th International Conference on Principles and Practice of Constraint Programming, CP 2001
Y2 - 26 November 2001 through 1 December 2001
ER -