M. Balaban and C. Samoun, Hierarchy, time and inheritance in music modelling, Languages of Design, vol.1, issue.3, pp.147-172, 1993.

K. Barbar, A. Beurivé, and M. Desainte-catherine, Structures hierarchiques pour la composition assisté par ordinateur, Recherches et applications en informatique musicale, Collection Informatique Musicale, pp.109-124, 1998.

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

L. Bortolussi and A. Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.99, issue.9, 2008.
DOI : 10.1007/s10601-007-9034-8

F. S. De-boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi, Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems, vol.19, issue.5, 1997.

S. Frank, M. De-boer, M. C. Gabbrielli, and . Meo, A timed concurrent constraint language, Inf. Comput, vol.161, issue.1, 2000.

F. Fages, P. Ruet, and S. Soliman, Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, 2001.
DOI : 10.1006/inco.2000.3002
URL : https://hal.archives-ouvertes.fr/hal-01431358

V. Gupta, R. Jagadeesan, and P. Panangaden, Stochastic processes as concurrent constraint programs, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, 1999.
DOI : 10.1145/292540.292558

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Probabilistic concurrent constraint programming, Proc. of CONCUR 97, 1997.
DOI : 10.1007/3-540-63141-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8241

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability. Formal Asp, Comput, vol.6, issue.5, pp.512-535, 1994.

P. Van-hentenryck, V. A. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), The Journal of Logic Programming, vol.37, issue.1-3, pp.1-3, 1998.
DOI : 10.1016/S0743-1066(98)10006-7

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

R. Milner, A finite delay operator in synchronous ccs, 1992.

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 C. Rueda, A Declarative Language for Dynamic Multimedia Interaction Systems Proc. of MCM'09, 2009.

C. Olarte and C. Rueda, A stochastic concurrent constraint based framework to model and verify biological systems, CLEI electronic journal, vol.9, issue.2, 2008.

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

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

F. Pachet, G. Ramalho, and J. Carrive, Representing temporal musical objects and reasoning in the MusES system, Journal of New Music Research, vol.2, issue.3, pp.252-275, 1996.
DOI : 10.2307/842885

A. Jorge, Pérez and Camilo Rueda. Non-determinism and Probabilities in Timed Concurrent Constraint Programming

J. Parrow, R. Milner, and D. Walker, A calculus of mobile processes, Parts I and II, Journal of Information and Computation, vol.100, 1992.

M. Puckette, Max at Seventeen, Computer Music Journal, vol.26, issue.4, pp.31-43, 2002.
DOI : 10.2307/3680766

C. Rueda, G. Alvarez, L. Quesada, G. Tamura, F. Valencia et al., Integrating constraints and concurrent objects in musical applications: A calculus and its visual language, Constraints, vol.6, issue.1, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01106257

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

A. Vijay and . Saraswat, Concurrent Constraint Programming, 1993.

R. Segala, Modeling and verification of randomized distributed real-time systems, 1995.

G. Smolka, A foundation for higher-order concurrent constraint programming, Proc. of CCL 94, 1994.

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Timed default concurrent constraint programming, Journal of Symbolic Computation, vol.22, pp.5-6, 1996.