T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard, Two classes of Boolean functions for dependency analysis, Science of Computer Programming, vol.31, issue.1, p.31, 1998.
DOI : 10.1016/S0167-6423(96)00039-1

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

B. Blanchet, Security protocols: from linear to classical logic by abstract interpretation, Information Processing Letters, vol.95, issue.5, pp.473-479, 2005.
DOI : 10.1016/j.ipl.2005.05.011

M. Codish and B. Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop, Proc. of SAS'94, pp.281-296, 1994.
DOI : 10.1007/3-540-58485-4_47

M. Codish, H. Søndergaard, and P. Stuckey, Sharing and groundness dependencies in logic programs, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, 1999.
DOI : 10.1145/330249.330252

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7

URL : http://doi.org/10.1016/0743-1066(92)90030-7

F. De-boer, M. Gabbrielli, and M. C. Meo, A Timed Concurrent Constraint Language, Information and Computation, vol.161, issue.1, pp.45-83, 2000.
DOI : 10.1006/inco.1999.2879

F. S. De-boer, A. D. Pierro, and C. Palamidessi, Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, vol.151, issue.1, pp.37-78, 1995.
DOI : 10.1016/0304-3975(95)00047-Z

D. Denning and G. Sacco, Timestamps in key distribution protocols, Communications of the ACM, vol.24, issue.8, 1981.
DOI : 10.1145/358722.358740

D. Dolev and A. C. Yao, On the security of public key protocols, IEEE Transactions on Information Theory, vol.29, issue.12, 1983.

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi, Compositional analysis for concurrent constraint programming, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993.
DOI : 10.1109/LICS.1993.287586

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi, Confluence in concurrent constraint programming, Theoretical Computer Science, vol.183, issue.2, pp.281-315, 1997.
DOI : 10.1016/S0304-3975(97)00328-9

M. Falaschi, C. Olarte, and C. Palamidessi, A framework for abstract interpretation of timed concurrent constraint programs, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, 2009.
DOI : 10.1145/1599410.1599436

URL : https://hal.archives-ouvertes.fr/inria-00426608

M. Falaschi, C. Olarte, C. Palamidessi, and F. Valencia, Declarative Diagnosis of Temporal Concurrent Constraint Programs, Proc. of ICLP'07. Springer LNCS 4670, 2007.
DOI : 10.1007/978-3-540-74610-2_19

URL : https://hal.archives-ouvertes.fr/inria-00201065

J. Feret, Abstract interpretation of mobile systems, The Journal of Logic and Algebraic Programming, vol.63, issue.1, pp.59-130, 2005.
DOI : 10.1016/j.jlap.2004.01.005

URL : https://hal.archives-ouvertes.fr/inria-00527910

P. Garoche, M. Pantel, and X. Thiroux, Abstract Interpretation-based Static Safety for Actors, Journal of Software, vol.2, issue.3, pp.87-98, 2007.
DOI : 10.4304/jsw.2.3.87-98

T. Hildebrandt and H. A. Lopez, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming, Proc. of ICLP'09, 2009.
DOI : 10.1016/0890-5401(92)90008-4

R. Jagadeesan, W. Marrero, C. Pitcher, and V. A. Saraswat, Timed constraint programming, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, 2005.
DOI : 10.1145/1069774.1069790

H. Lopez, C. Olarte, and J. A. Pérez, Towards a Unified Framework for Declarative Structured Communications, Proc. of PLACES'09, 2009.
DOI : 10.4204/EPTCS.17.1

URL : https://hal.archives-ouvertes.fr/inria-00426609

G. Lowe, Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR, Proc. of TACAS'96, 1996.
DOI : 10.1007/3-540-61042-1_43

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. P. Mendler, P. Panangaden, P. J. Scott, and R. A. Seely, A logical view of concurrent constraint programming, Nord. J. Comput, vol.2, issue.2, pp.181-220, 1995.

R. Milner, Communicating and Mobile Systems: the ?-calculus, 1999.

M. Nielsen, C. Palamidessi, and F. Valencia, Temporal concurrent constraint programming: Denotation, logic and applications, Nordic Journal of Computing, vol.9, issue.1, pp.145-188, 2002.
DOI : 10.7146/brics.v8i48.21708

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Olarte and C. Rueda, A Declarative Language for Dynamic Multimedia Interaction Systems, Proc of. MCM'09, 2009.
DOI : 10.1007/3-540-47849-3_18

URL : https://hal.archives-ouvertes.fr/inria-00426607

C. Olarte, C. Rueda, and F. Valencia, Concurrent constraint programming: Calculi, languages and emerging applications, Newsletter of the ALP, vol.21, issue.2- 3, 2008.

C. Olarte and F. Valencia, The expressivity of universal timed CCP, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, 2008.
DOI : 10.1145/1389449.1389452

URL : https://hal.archives-ouvertes.fr/inria-00349353

C. Olarte and F. Valencia, Universal concurrent constraint programming: Symbolic semantics and applications to security, Proc. of SAC'08, 2008.

V. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994.
DOI : 10.1109/LICS.1994.316085

V. Saraswat, M. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, 1991.
DOI : 10.1145/99583.99627

D. X. Song, S. Berezin, and A. Perrig, Athena: a novel approach to efficient automatic security protocol analysis1, Journal of Computer Security, vol.9, issue.1-2, pp.47-74, 2001.
DOI : 10.3233/JCS-2001-91-203

S. Tini, On the expressiveness of Timed Concurrent Constraint Programming, Electronic Notes in Theoretical Computer Science, vol.27, 1999.
DOI : 10.1016/S1571-0661(05)80291-9

E. Zaffanella, R. Giacobazzi, and G. Levi, Abstracting synchronization in concurrent constraint programming, Journal of Functional and Logic Programming, issue.6, 1997.
DOI : 10.1007/3-540-58402-1_6