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
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
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
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
Sharing and groundness dependencies in logic programs, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, 1999. ,
DOI : 10.1145/330249.330252
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
A Timed Concurrent Constraint Language, Information and Computation, vol.161, issue.1, pp.45-83, 2000. ,
DOI : 10.1006/inco.1999.2879
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
Timestamps in key distribution protocols, Communications of the ACM, vol.24, issue.8, 1981. ,
DOI : 10.1145/358722.358740
On the security of public key protocols, IEEE Transactions on Information Theory, vol.29, issue.12, 1983. ,
Compositional analysis for concurrent constraint programming, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. ,
DOI : 10.1109/LICS.1993.287586
Confluence in concurrent constraint programming, Theoretical Computer Science, vol.183, issue.2, pp.281-315, 1997. ,
DOI : 10.1016/S0304-3975(97)00328-9
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
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
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
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
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
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
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
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=10.1.1.27.6385
A logical view of concurrent constraint programming, Nord. J. Comput, vol.2, issue.2, pp.181-220, 1995. ,
Communicating and Mobile Systems: the ?-calculus, 1999. ,
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=10.1.1.16.3124
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
Concurrent constraint programming: Calculi, languages and emerging applications, Newsletter of the ALP, vol.21, issue.2- 3, 2008. ,
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
Universal concurrent constraint programming: Symbolic semantics and applications to security, Proc. of SAC'08, 2008. ,
Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994. ,
DOI : 10.1109/LICS.1994.316085
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
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
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
Abstracting synchronization in concurrent constraint programming, Journal of Functional and Logic Programming, issue.6, 1997. ,
DOI : 10.1007/3-540-58402-1_6