V. A. 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

M. Nielsen, C. Palamidessi, and F. D. Valencia, Temporal concurrent constraint programming: Denotation, logic and applications, Nordic Journal of Computing, vol.9, issue.1, 2002.
DOI : 10.7146/brics.v8i48.21708
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3124

C. Olarte and F. D. Valencia, Universal concurrent constraint programing, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, 2008.
DOI : 10.1145/1363686.1363726
URL : https://hal.archives-ouvertes.fr/inria-00201497

J. Gutiérrez, J. A. Pérez, C. Rueda, and F. Valencia, Timed Concurrent Constraint Programming for Analysing Biological Systems, Electronic Notes in Theoretical Computer Science, vol.171, issue.2, 2007.
DOI : 10.1016/j.entcs.2007.05.012

C. Rueda and F. D. Valencia, A temporal concurrent constraint calculus as an audio processing framework, Proc. of SMC 05, 2005.

F. D. Valencia, Decidability of infinite-state timed CCP processes and first-order LTL, Theoretical Computer Science, vol.330, issue.3, pp.577-607, 2005.
DOI : 10.1016/j.tcs.2004.10.009

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

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, 1991.
DOI : 10.1007/978-1-4612-0931-7

C. Olarte and F. D. 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

G. Bella and S. Bistarelli, Soft constraint programming to analysing security protocols, Theory and Practice of Logic Programming, vol.4, issue.5-6, pp.5-6, 2004.
DOI : 10.1017/S1471068404002121

M. Abadi and B. Blanchet, Analyzing Security Protocols with Secrecy Types and Logic Programs, Journal of the ACM, vol.52, issue.1, 2005.
DOI : 10.1145/1044731.1044735
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.3131

J. K. Millen, The Interrogator A Tool for Cryptographic Protocol Security, 1984 IEEE Symposium on Security and Privacy, pp.134-141, 1984.
DOI : 10.1109/SP.1984.10003

A. Arbeláez, J. Gutiérrez, and J. A. Pérez, Timed Concurrent Constraint Programming in Systems Biology, Newsletter of the ALP, vol.19, issue.4, 2006.

J. Aranda, J. Pérez, C. Rueda, and F. Valencia, Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming, Proc. of ICLP'08, 2008.
DOI : 10.1016/j.entcs.2007.12.007

L. Cardelli, P. Gardner, and O. Kahramanogullari, A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.87-102, 2008.
DOI : 10.1016/j.entcs.2007.12.007

J. A. Pérez and C. Rueda, Non-determinism and Probabilities in Timed Concurrent Constraint Programming, Proc. of ICLP'08, pp.677-681, 2008.
DOI : 10.1007/3-540-46432-8_10

A. Allombert, G. Assayag, and M. Desainte-catherine, A system of interactive scores based on Petri nets, Proc. of SMC ' 07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00307926

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

G. Sarria and C. Rueda, Real-time concurrent constraint programming, Proc. of CLEI 08, 2008.

M. Toro, C. Rueda, G. Assayag, and C. Agón, NtccRT: A Concurrent Constraint Framework for Real-Time Interaction, Proc. of International Computer Music Conference, 2009.

J. Bresson, C. Agon, and G. Assayag, Openmusic 5: A cross-platform release of the computerassisted composition environment, Proc. of Brazilian Symposium on Computer Music, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01161332

D. Fober, Y. Orlarey, and S. L. In, Midishare: une architecture logicielle pour la musique, Hermes, pp.175-194, 2004.

M. Alpuente, M. Gallardo, E. Pimentel, and A. Villanueva, Verifying Real-Time Properties of tccp Programs, Journal of Universal Computer Science, vol.12, issue.11, pp.1551-1573, 2006.

M. Falaschi and A. Villanueva, Automatic verification of timed concurrent constraint programs, Theory and Practice of Logic Programming, vol.6, issue.03, pp.265-300, 2006.
DOI : 10.1017/S1471068406002675