J. F. Allen, Maintaining knowledge about temporal intervals, Communication of ACM, vol.26, 1983.

A. Allombert, G. Assayag, and M. Desainte-catherine, Iscore, Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts, DIMEA '08, pp.360-367, 2008.
DOI : 10.1145/1413634.1413699

URL : https://hal.archives-ouvertes.fr/hal-00353619

A. Allombert, G. Assayag, M. Desainte-catherine, and C. Rueda, Concurrent constraint models for interactive scores, Proc. of SMC '06, 2006.

A. Allombert, M. Desainte-catherine, J. Larralde, and G. Assayag, A system of interactive scores based on qualitative and quantitative temporal constraints, Proc. of the 4th International Conference on Digital Arts, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353601

P. Baltazar, A. Allombert, R. Marczak, J. Couturier, M. Roy et al., Virage : Une reflexion pluridisciplinaire autour du temps dans la creation numerique, Proc. of JIM, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00413510

A. Beurivé and M. Desainte-catherine, Representing musical hierarchies with constraints, Proc. of the 7th International Conference on Principles and Practice of Constraint Programming, Musical Constraints Workshop, 2001.

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

A. Cont, Antescofo: Anticipatory synchronization and control of interactive parameters in computer music, Proceedings of International Computer Music Conference (ICMC). Belfast, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00694803

M. Desainte-catherine and N. Brousse, Towards a specification of musical interactive pieces, Proc. of CIM XIX, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00308410

M. Falaschi and A. Villanueva, Automatic verification of timed concurrent constraint programs. Theory Pract, Log. Program, vol.6, issue.4, pp.265-300, 2006.

T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

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

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

M. Puckette, T. Apel, and D. Zicarelli, Realtime audio analysis tools for Pd and MSP, Proc. of ICMC 98, 1998.

P. Sénac, P. D. Saqui-sannes, and R. Willrich, Hierarchical Time Stream Petri Net: A model for hypermedia systems, Proc. of the 16th International Conference on Application and Theory of Petri Nets, pp.451-470, 1995.
DOI : 10.1007/3-540-60029-9_54

M. Toro-bermúdez, C. Agón, G. Assayag, and C. Rueda, Ntccrt: A concurrent constraint framework for real-time interaction, Proc. of ICMC 09, 2009.

T. Yamauchi and T. Iwatake, An interactive installation through spatial sensing, Proc. of the 4th International Mobile Music Workshop, 2007.