Universal Timed Concurrent Constraint Programming

Carlos Olarte 1 Catuscia Palamidessi 1 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In this doctoral work we aim at developing a rich timed con- current 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 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.
Type de document :
Communication dans un congrès
Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, 4670, pp.464-465, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74610-2_47〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00201066
Contributeur : Catuscia Palamidessi <>
Soumis le : samedi 22 décembre 2007 - 23:40:29
Dernière modification le : jeudi 12 avril 2018 - 01:45:37
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:21:10

Fichier

iclp07DC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LIX | X-LIX | X | PARISTECH

Citation

Carlos Olarte, Catuscia Palamidessi, Frank Valencia. Universal Timed Concurrent Constraint Programming. Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, 4670, pp.464-465, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74610-2_47〉. 〈inria-00201066〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

250

Téléchargements de fichiers

88

Contact


archive-ouverte@inria.fr