Sciweavers

Share
ICLP
2007
Springer

Universal Timed Concurrent Constraint Programming

11 years 6 months ago
Universal Timed Concurrent Constraint Programming
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concurrent Constraint (utcc) increases the expressiveness of tcc languages allowing infinite behaviour and moWe 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.
Carlos Olarte, Catuscia Palamidessi, Frank Valenci
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICLP
Authors Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Comments (0)
books