TY - GEN
T1 - Universal timed concurrent constraint programming
AU - Olarte, Carlos
AU - Palamidessi, Catuscia
AU - Valencia, Frank
PY - 2007/1/1
Y1 - 2007/1/1
N2 - In this doctoral work we aim at developing a rich timed concurrent constraint (tec) based language with strong ties to logic. The new calculus called Universal Timed Concurrent Constraint (utcc) increases the expressiveness of tec languages allowing infinite behaviour and mobility. We introduce a constructor of the form (abs x,c)P (Abstraction in P) that can be viewed as a dual operator of the hidden operator local x in P. i.e. the later can be viewed as an existential quantification on the variable x and the former as an universal quantification of x, executing P[t/x] for all t s.t. the current store entails c[t/x]. As a compelling application, we applied this calculus to verify security protocols.
AB - In this doctoral work we aim at developing a rich timed concurrent constraint (tec) based language with strong ties to logic. The new calculus called Universal Timed Concurrent Constraint (utcc) increases the expressiveness of tec languages allowing infinite behaviour and mobility. We introduce a constructor of the form (abs x,c)P (Abstraction in P) that can be viewed as a dual operator of the hidden operator local x in P. i.e. the later can be viewed as an existential quantification on the variable x and the former as an universal quantification of x, executing P[t/x] for all t s.t. the current store entails c[t/x]. As a compelling application, we applied this calculus to verify security protocols.
U2 - 10.1007/978-3-540-74610-2_47
DO - 10.1007/978-3-540-74610-2_47
M3 - Conference contribution
AN - SCOPUS:38149107678
SN - 9783540746089
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 464
EP - 465
BT - Logic Programming - 23rd International Conference, ICLP 2007, Proceedings
PB - Springer Verlag
T2 - 23rd International Conference on Logic Programming, ICLP 2007
Y2 - 8 September 2007 through 13 September 2007
ER -