]. A. Aal+10 and . Allombert, VIRAGE : Designing an interactive intermedia sequencer from users requirements and theoretical background, ICMC 2010 (International Computer Music Conference), 2010.

[. Aceto, L. Kim, and G. , An introduction to Milner's CCS, 2005.

A. [. Abadi and . Gordon, A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, pp.1-70, 1999.
DOI : 10.1145/266420.266432

J. [. Arbeláez, J. A. Gutiérrez, and . Pérez, Timed concurrent constraint programming in systems biology, Newsletter of the ALP, vol.19, issue.4, 2006.

B. [. Alpuente, A. Gramlich, and . Villanueva, A Framework for Timed Concurrent Constraint Programming with External Functions, Electronic Notes in Theoretical Computer Science, vol.188, 2006.
DOI : 10.1016/j.entcs.2007.05.043

]. S. Aks+12 and . Akshay, Overview of Robustness in Timed Systems

M. Alpuente, Verifying Real-Time Properties of tccp Programs, In: J. UCS, vol.1211, pp.1551-1573, 2006.

T. Anders, OSC Implementation in Strasheela. http://strasheela.sourceforge. net/strasheela/contributions, 2012.

J. Arias, Model Checking for the TCC Calculus, 2012.

[. React, Robust Theories for Emerging Applications in Concurrency Theory, 2006.

[. React+, Robust Theires for Emerging Applications in Concurrency Theory: Processes and Logic used in Emergent Systems)

S. Balaguer, T. Chatain, and S. Haar, Concurrent Semantics of Timed Distributed Systems

R. [. Cousot and . 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

[. Cardelli and A. Gordon, Mobile Ambients, In: Theoretical Computer Science, pp.177-213, 2000.
DOI : 10.1016/s0304-3975(99)00231-5
URL : http://doi.org/10.1016/s0304-3975(99)00231-5

P. Charles, X10: An Object-Oriented Approach to Non-Uniform Cluster Computing, OOPLSA '05, 2005.

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

A. Cont, Modeling Musical Anticipation: From the time of music to the music of time, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00417565

A. Cont, A coupled duration-focused architecture for realtime music to score alignment, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.326, pp.974-987, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01161284

A. Cont, On the creative use of score following and its impact on research
URL : https://hal.archives-ouvertes.fr/hal-00692575

J. Echeveste, Stratégies de synchronisation et gestion des variables pour l'accompagnement musical automatique, 2011.

J. Echeveste, Antescofo: a Domain Specific Language for real time musiciancomputer interaction " . To appear, 2012.

A. Freed and A. Schmeder, Features and Future of Open Sound Control version 1.1 for NIME, p.7002, 2009.

]. H. Gar08 and . Garavel, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Proceedings of LIX Colloquium on Emergent Trends in Concurrency Theory, pp.149-164, 2008.

R. [. Gupta, V. A. Jagadeesan, and . Saraswat, Truly concurrent constraint programming, Theoretical computer science 278, pp.223-255, 2002.
DOI : 10.1016/s0304-3975(00)00337-6
URL : http://doi.org/10.1016/s0304-3975(00)00337-6

[. Group, ntccMC: Bounded-time automata-based model checker for NTCC, 2013.

J. Gutiérrez, Timed Concurrent Constraint Programming for Analysing Biological Systems, Electronic Notes in Theoretical Computer Science, vol.171, issue.2, pp.117-137, 2007.
DOI : 10.1016/j.entcs.2007.05.012

P. [. Hewitt, R. Bishop, and . Steiger, A universal modular actor formalism for artificial intelligence, Proceedings of the 3rd international joint conference on Artificial intelligence, pp.235-245, 1973.

D. Hermith, Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach, 5th International Conference on Practical Applications of Computational Biology, pp.321-328, 2011.
DOI : 10.1007/978-3-642-19914-1_42
URL : https://hal.archives-ouvertes.fr/hal-00641433

R. Douglas, . Hofstadter, . Gödel, . Escher, and . Bach, An eternal golden braid. Vintage, 1979.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, 2004.
DOI : 10.1017/CBO9780511810275

S. Knight, Spatial Information Distribution in Constraint-based Process Calculi

J. Lygeros, Lecture Notes on Hybrid Systems, 2004.

[. Mazzola, Topos of Music, 2003.
DOI : 10.1007/978-3-0348-8141-8

[. Milner, A Calculus of Communicating Systems. Lecture Notes in Computer Science, 1980.

C. John and . Mitchell, Foundations for Programming Languages. Foundations of Computing, p.262133210, 1996.

. Nintendo, Super Mario Galaxy, 2007.

[. Nielsen, D. Frank, and . Valencia, Notes on Timed Concurrent Constraint Programming, pp.702-741, 2004.
DOI : 10.1007/978-3-540-27755-2_20

[. Olarte, C. Palamidessi, and F. Valencia, Universal Timed Concurrent Constraint Programming, In: Logic Programming. Lecture Notes in Computer Science, vol.4670, pp.464-465, 2007.
DOI : 10.1007/978-3-540-74610-2_47
URL : https://hal.archives-ouvertes.fr/inria-00201066

C. [. Olarte and . Rueda, A Declarative Language for Dynamic Multimedia Interaction Systems, Mathematics and Computation in Music, pp.218-227, 2009.
DOI : 10.1007/3-540-47849-3_18
URL : https://hal.archives-ouvertes.fr/inria-00426607

[. Olarte, C. Rueda, D. Frank, and . Valencia, Models and emerging trends of concurrent constraint programming, Constraints (2013), pp.1-44
DOI : 10.1007/s10601-013-9145-3
URL : https://hal.archives-ouvertes.fr/hal-00869192

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

[. Peach, OpenSoundControl for PD, 2011.

]. G. Plo81 and . Plotkin, A Structural Approach to Operational Semantics, In: Journal of Logic and Algebraic Programming, 1981.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

J. Pérez and C. Rueda, Non-determinism and Probabilities in Timed Concurrent Constraint Programming Lecture Notes in Computer Science, pp.677-681978, 2008.

]. J. Pr08b, C. Pérez, and . Rueda, Non-determinism and probabilities in timed concurrent constraint programming, In: Logic Programming, pp.677-681, 2008.

[. Rueda, G. Assayag, and S. Dubnov, A Concurrent Constraints Factor Oracle Model for Music Improvisation, Proceedings of Latin American Informatics Conference CLEI 2006, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01161352

[. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming, Foundations of Artificial Intelligence, p.9780444527264, 2006.

[. Van-roy and S. Haridi, Concepts, Techniques, and Models of Computer Programming, 2004.

G. Sarria, Formal Models of Timed Musical Processes, 2008.

. A. Vijay, R. Saraswat, V. Jagadeesan, and . Gupta, Default timed concurrent constraint programming, Proceedings of the 22nd ACM SIGPLAN- SIGACT symposium on Principles of programming languages, pp.272-285, 1995.

. A. Vijay, M. Saraswat, P. Rinard, and . Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.333-352, 1991.

D. 2. Second, . Property, and . Note, 25 Do# NOTE 74 1.0 Re NOTE 86 1.0 Re EVENT 0.0 6th-Bar NOTE 74 0.75 Re GFWD 0.0 Group { 0.0 osc msg