A. Assayag, G. Bloch, M. Chemillier, A. Cont, and S. Dubnov, OMax brothers, Proceedings of the 1st ACM workshop on Audio and music computing multimedia , AMCMM '06, pp.125-132, 2006.
DOI : 10.1145/1178723.1178742

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

[. Asarin, P. Caspi, and O. Maler, Timed regular expressions, Journal of the ACM, vol.49, issue.2, pp.172-206, 2002.
DOI : 10.1145/506147.506151

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. Agostini and D. Ghisi, Bach : An environment for computer-aided composition in max, ICMC 2012 -International Computer Music Conference IRZU -the Institute for Sonic Arts Research, 2012.

[. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242

P. David, R. Anderson, and . Kuivila, Continuous abstractions for discrete event languages, Computer Music Journal, pp.11-23, 1989.

P. David, R. Anderson, and . Kuivila, A System for Computer Music Performance, ACM Trans. Comput. Syst, vol.8, issue.1, pp.56-82, 1990.

J. F. Allen-frédéric, R. Mallet, and S. , Maintaining knowledge about temporal intervals, Model Driven Engineering Languages and Systems, pp.832-843, 1983.
DOI : 10.1145/182.358434

[. Bresson, C. Agon, and G. Assayag, Visual Lisp/CLOS programming in OpenMusic, Higher-Order and Symbolic Computation, pp.81-111, 2009.
DOI : 10.1007/s10990-009-9044-x

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

[. Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, vol.21, issue.8, pp.613-641, 1978.
DOI : 10.1145/359576.359579

[. Berry and G. Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '90, pp.81-94, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297

URL : https://hal.archives-ouvertes.fr/inria-00075115

[. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012.
DOI : 10.1016/j.jcss.2011.08.009

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

S. Bliudze and S. Furic, An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction, Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden, pp.693-706, 2014.
DOI : 10.3384/ecp14096693

[. 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

J. Bresson and J. Giavitto, A reactive extension of the OpenMusic visual programming language, Journal of Visual Languages & Computing, vol.25, issue.4, pp.363-375, 2014.
DOI : 10.1016/j.jvlc.2014.03.003

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

J. Bresson, F. Guédy, and G. Assayag, Musique lab maquette : approche interactive des processus compositionnels pour la pédagogie musicale, Revue des Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation (STICEF), p.26, 2006.

[. Bjarnason, G. Hedin, and K. Nilsson, Interactive language development for embedded systems, 1999.

[. Baudart, F. Jacquemard, L. Mandel, and M. Pouzet, A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-12, 2013.
DOI : 10.1109/EMSOFT.2013.6658579

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

[. Banâtre and D. L. Métayer, The gamma model and its discipline of programming, Science of Computer Programming, vol.15, issue.1, pp.55-77, 1990.
DOI : 10.1016/0167-6423(90)90044-E

B. Bongers, Exploring Novel ways of interaction in musical performance, Proceedings of the third conference on Creativity & cognition , C&C '99, pp.76-81, 1999.
DOI : 10.1145/317561.317576

[. Bresin, Virtual Virtuosity Studies in Automatic Music Performance, 2000.

[. Bresson, Sound synthesis in computer-aided composition . Theses, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00683469

[. Berry and E. Sentovich, Multiclock Esterel, Correct Hardware Design and Verification Methods, pp.110-125, 2001.
DOI : 10.1007/3-540-44798-9_10

[. Berry and M. Serrano, Hop and HipHop: Multitier Web Orchestration, Distributed Computing and Internet Technology, pp.1-13, 2014.
DOI : 10.1007/978-3-319-04483-5_1

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

C. Giorgio and . Buttazzo, Hard real-time computing systems : predictable scheduling algorithms and applications. The Kluwer international series in engineering and computer science, 1997.

A. Burns and A. J. Wellings, Real-Time Systems and Programming Languages Continuous realtime gesture following and recognition, Gesture in embodied communication and human-computer interaction, pp.73-84, 2001.

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.
DOI : 10.1145/63334.63337

[. Coffy, J. Giavitto, and A. Cont, Ascograph : A user interface for sequencing and score following for interactive music, ICMC 2014-40th International Computer Music Conference, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01024865

J. Chadabe, Some Reflections on the Nature of the Landscape within Which Computer Music Systems are Designed, Computer Music Journal, vol.1, issue.3, pp.5-11, 1977.
DOI : 10.2307/3679605

A. Cataldo, E. Lee, and X. Liu, Eleftherios Matsikoudis, and Haiyang Zheng. A constructive fixedpoint theorem and the feedback semantics of timed systems, Workshop on Discrete Event Systems, 2006.

F. [. Consel, L. Latry, P. Réveillère, and . Cointe, A Generative Programming Approach to Developing DSL Compilers, Fourth International Conference on Generative Programming and Component Engineering (GPCE), pp.29-46, 2005.
DOI : 10.1007/11561347_4

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

E. Melvin and . Conway, Design of a Separable Transitiondiagram Compiler, Commun. ACM, vol.6, issue.7, pp.396-408, 1963.

[. Cont, Antescofo : Anticipatory Synchronization and Control of Interactive Parameters in Computer Music, Proceedings of International Computer Music Conference (ICMC), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00694803

[. Cont, A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.32, issue.6, pp.974-987, 2010.
DOI : 10.1109/TPAMI.2009.106

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

P. Cuoq and M. Pouzet, Modular Causality in a Synchronous Stream Language, Programming Languages and Systems, pp.237-251, 2001.
DOI : 10.1007/3-540-45309-1_16

G. Coulter-smith, Deconstructing installation art, 2006.

]. N. Cut88 and . Cutland, Nonstandard Analysis and Its Applications. Cambridge Topics in Mineral Physics & Chemistry, 1988.

B. Roger and . Dannenberg, An On-Line Algorithm for Real- Time Accompaniment, Proceedings of International Computer Music Conference (ICMC), pp.193-198, 1984.

B. Roger and . Dannenberg, Arctic : A functional language for real-time control, 1984 ACM Symposium on LISP and Functional Programming, pp.96-103, 1984.

B. Roger and . Dannenberg, Abstract time warping of compound events and signals, Computer Music Journal, pp.61-70, 1997.

B. Roger and . Dannenberg, The implementation of nyquist, a sound synthesis language, Computer Music J, 1997.

C. Richard, R. H. Dorf, and . Bishop, Modern Control Systems, 1994.

M. Desainte-catherine and A. Allombert, Interactive scores: A model for specifying temporal relations between interactive and static events, Journal of New Music Research, vol.34, issue.4, pp.361-374, 2005.
DOI : 10.1109/5.24143

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

[. Donze, S. Libkind, S. A. Seshia, and D. Wessel, Control improvisation with application to music, 2013.

F. Doucet, M. Menarini, H. Ingolf, . Krüger, J. Gupta et al., A Verification Approach for GALS Integration of Synchronous Components, Electronic Notes in Theoretical Computer Science, vol.146, issue.2, pp.105-131, 2006.
DOI : 10.1016/j.entcs.2005.05.038

[. Drummond, Understanding Interactive Systems, Organised Sound, vol.4, issue.02, pp.124-133, 2009.
DOI : 10.2307/3680843

J. Duthen and M. Stroppa, Une représentation de structures temporelles par synchronisation de pivots Soundpainting as a system for the collaborative creation of music in performance, Proceedings of Colloque " Musique et Assistance Informatique bibliographie [Dub06] Marc Duby, pp.471-479, 1990.

[. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d'accompagnement automatique, Colloque Modélisation des Systèmes Réactifs (MSR), 2011.
DOI : 10.3166/jesa.45.109-124

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

[. Echeveste, F. Jacquemard, A. Cont, and J. Giavitto, Operational Semantics of a Domain Specific Language for Real Time Musician- Computer Interaction. Discrete Event Dynamic Systems, pp.343-383, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00854719

C. John, . Eidson, A. Edward, S. Lee, . Matic et al., Distributed real-time software for cyber?physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012.

[. Essl, Playing with Time : Manipulation of Time and Rate in a Multi-rate Signal Processing Pipeline, Ann Arbor, 2012.

L. Fanchon and F. Jacquemard, Formal Timing Analysis Of Mixed Music Scores, 2013 ICMC -International Computer Music Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00797595

[. Friberg, A Quantitative Rule System for Musical Performance, 1995.

K. Gann, The Music of Conlon Nancarrow, 1995.

[. Giavitto, A. Cont, and J. Echeveste, Antescofo a not-so-short introduction to version 0.x, 2015.

L. Grubb, B. Roger, and . Dannenberg, Automating ensemble performance, Proceedings of the International Computer Music Conference, pp.63-63, 1994.

K. Gilles, The semantics of a simple language for parallel programming, Information Processing'74 : Proceedings of the IFIP Congress, pp.471-475, 1974.

[. Griffiths, A guide to electronic music. Music and Letters, pp.482-482, 1981.

C. A. Gunter and D. S. Scott, Handbook of Theoretical Computer Science, volume B : Formal Models and Semantics , chapter Semantic Domains, 1990.

A. Ghosal, A. Sangiovanni-vincentelli, C. M. Kirsch, T. A. Henzinger, and D. Iercan, A hierarchical coordination language for interacting real-time tasks, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.132-141, 2006.
DOI : 10.1145/1176887.1176907

[. Guédon, Hidden hybrid Markov/semi-Markov chains, Computational Statistics & Data Analysis, vol.49, issue.3, pp.663-688, 2005.
DOI : 10.1016/j.csda.2004.05.033

[. Halbwachs, Synchronous Programming of Reactive Systems, volume 1427 of Lecture Notes in Computer Science, 1998.

P. [. Halbwachs, P. Caspi, D. Raymond, and . Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

[. Hudak, An Algebraic Theory of Polymorphic Temporal Media, Practical Aspects of Declarative Languages, pp.1-15, 2004.
DOI : 10.1007/978-3-540-24836-1_1

[. Hudak, The Haskell School of Music ? From Signals to Symphonies, 2014.

[. Jaffe, Ensemble Timing in Computer Music, Computer Music Journal, vol.9, issue.4, pp.38-48, 1985.
DOI : 10.2307/3679621

[. Jordà, G. Geiger, M. Alonso, and M. Kaltenbrunner, The reacTable, Proceedings of the 1st international conference on Tangible and embedded interaction , TEI '07, pp.139-146, 2007.
DOI : 10.1145/1226969.1226998

[. Jebali, F. Lang, and R. Mateescu, GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems, Formal Methods and Software Engineering, pp.219-234, 2014.
DOI : 10.1007/978-3-319-11737-9_15

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

A. Kirke and E. R. Miranda, A survey of computer systems for expressive music performance, ACM Computing Surveys, vol.42, issue.1
DOI : 10.1145/1592451.1592454

[. Kopetz, Event-triggered versus time-triggered real-time systems, Proceedings of the International Workshop on Operating Systems of the 90s and Beyond, pp.87-101, 1991.
DOI : 10.1007/BFb0024530

[. Kim, P. Bernard, and . Zeigler, The DEVS formalism, Proceedings of the 19th conference on Winter simulation , WSC '87, pp.559-566, 1987.
DOI : 10.1145/318371.318665

[. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

J. Peter and . Landin, The mechanical evaluation of expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964.

E. W. Large, Periodicity, Pattern Formation, and Metric Structure, Journal of New Music Research, vol.30, issue.2, pp.173-185, 2001.
DOI : 10.1076/jnmr.

. Laurson, PATCHWORK : a Graphic Language in PREFORM, Ann Arbor, 1989.

[. Lévy, G. Bloch, and G. Assayag, OMaxist dialectics, Proc. of the International Conference on New Interfaces for Musical Expression, pp.137-140, 2012.

[. Lee, B. Susan, V. Davidson, and . Fay-wolfe, Motivating time as a first class entity, 1987.

[. Lee, A semantic time framework for interactive media systems, 2007.

A. Edward and . Lee, Cyber physical systems : Design challenges, 2008.

A. Edward and . Lee, Constructive models of discrete and continuous physical phenomena, 2014.

E. George and . Lewis, Interacting with latter-day musical automata, Contemporary Music Review, vol.18, issue.3, pp.99-112, 1999.

[. Liu, Y. Feng, and B. Li, MusicScore, Proceedings of the 20th ACM international conference on Multimedia, MM '12, pp.109-118
DOI : 10.1145/2393347.2393369

T. [. Leguernic, M. L. Gautier, C. L. Borgne, and . Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

M. [. Large and . Jones, The dynamics of attending: How people track time-varying events., Psychological Review, vol.106, issue.1, p.119, 1999.
DOI : 10.1037/0033-295X.106.1.119

C. Palmer, J. Loehr, and E. Large, Temporal Coordination and Adaptation to Rate Change in Music Performance, Journal of Experimental Psychology : Human Perception and Performance, 2011.

[. Métayer, A new computational model and its discipline of programming, 1986.

[. Liang, G. Xia, and R. B. Dannenberg, A framework for coordination and synchronization of media, Proceedings of the International Conference on New Interfaces for Musical Expression, pp.167-172, 2011.

A. Edward, H. Lee, and . Zheng, Operational semantics of hybrid systems Lee and Haiyang Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, EMSOFT '07 : Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp.25-53, 2005.

[. Mccartney, A New Real-time Synthesis Language, Proceedings of International Computer Music Conference (ICMC), 1996.

L. David and . Mills, Internet time synchronization : The network time protocol, IEEE Transactions on Communications, 1991.

V. Max, . Mathews, E. Joan, R. Miller, . Moore et al., The technology of computer music, 1969.

[. Maler, Z. Manna, and A. Pnueli, Prom timed to hybrid systems, Lecture Notes in Computer Science, vol.600, pp.447-484, 1991.
DOI : 10.1007/BFb0032003

[. Moreau, Programmation et confiance, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00337408

]. P. Mos90 and . Mosses, Handbook of Theoretical Computer Science, volume B : Formal Models and Semantics, chapter Denotational semantics, 1990.

Z. Manna and A. Pnueli, Verifying hybrid systems
DOI : 10.1007/3-540-57318-6_22

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

L. Mandel and F. Plateau, Interactive Programming of Reactive Systems, Proceedings of Modeldriven High-level Programming of Embedded Systems (SLA++P'08), pp.44-59, 2008.
DOI : 10.1016/j.entcs.2008.01.004

J. Maccallum and A. Schmeder, Timewarp : A Graphical Tool For The Control Of Polyphonic Smoothly Varying Tempos, Ann Arbor, 2010.

E. Matsikoudis and C. Stergiou, First draft of the act programming language, 2014.

. J. Msz-]-pieter, G. Mosterman, . Simko, and Z. Justyna, A hyperdense semantic domain for discontinuous behavior in physical system models

J. Murphy, Expressive musical robots : building, evaluating , and interfacing with an ensemble of mechatronic instruments : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Doctor of Philosophy The Author, 2014.

[. Mazzola and O. Zahorka, Tempo Curves Revisited: Hierarchies of Performance Fields, Computer Music Journal, vol.18, issue.1, pp.40-52, 1994.
DOI : 10.2307/3680521

J. Nika and M. Chemillier, Improvisation musicale homme-machine guid??e par un sc??nario temporel, Techniques et sciences informatiques, vol.33, issue.7-8, pp.651-684, 2015.
DOI : 10.3166/tsi.23.651-684

URL : https://hal.archives-ouvertes.fr/hal-01107194/document

[. Nika, J. Echeveste, M. Chemillier, and J. Giavitto, Planning Human-Computer Improvisation, Proceedings of ICMC-SMC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01053834

[. Nouno, Suivi de tempo appliqué aux musiques improvisées , à la recherche du temps perdu, 2008.

[. Orlarey, D. Fober, and S. Letz, FAUST : an Efficient Functional Approach to DSP Programming, pp.65-96, 2009.

[. Pachet, The Continuator: Musical Interaction With Style, Journal of New Music Research, vol.32, issue.3, pp.333-341, 2003.
DOI : 10.1076/jnmr.32.3.333.16861

C. Palmer, Music performance [PJ15] Clément Poncelet and Florent Jacquemard. Model based testing of an interactive music system, ACM SAC, pp.155-138, 1997.

]. M. Pou06 and . Pouzet, Lucid Synchrone, version 3, 2006.

[. Pachet, P. Roy, J. Moreira, and M. Inverno, Reflexive loopers for solo musical improvisation, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '13, pp.2205-2208, 2013.
DOI : 10.1145/2470654.2481303

URL : http://research.gold.ac.uk/9888/1/Reflexive%20Loopers%20for%20Solo%20Music%20Improvisation.pdf

[. Sanchez and F. Jacquemard, Test Methods for Score-Based Interactive Music Systems, Proceedings of the ICMC-SMC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01021617

W. Pree and J. Templ, Modeling with the Timing Definition Language (TDL), Model- Driven Development of Reliable Automotive Services, pp.133-144, 2008.
DOI : 10.1007/978-3-540-70930-5_9

[. Puckette, Combining Event and Signal Processing in the MAX Graphical Programming Environment, Proceedings of International Computer Music Conference (ICMC), pp.68-77, 1991.
DOI : 10.2307/3680767

[. Puckette, Using pd as a score language, Proc. Int. Computer Music Conf, pp.184-187, 2002.

[. Puckette, A divide between 'compositional'and 'performative'aspects of pd, Proc. First International Pd Convention, 2004.

[. Palamidessi, D. Frank, and . Valencia, A temporal concurrent constraint programming calculus, Principles and Practice of Constraint Programming?CP, pp.302-316, 2001.

[. Raphael, The informatics philharmonic, Communications of the ACM, vol.54, issue.3, pp.87-93, 2011.
DOI : 10.1145/1897852.1897875

. Brunoh and . Repp, Musical synchronization. Music, motor control, and the brain, pp.55-76, 2006.

[. Risset, Composing in real-time ? Contemporary Music Review, pp.31-39, 1999.

A. Robertson, Interactive real-time musical systems, 2009.

A. Roebel, Transient detection and preservation in the phase vocoder, International Computer Music Conference (ICMC), pp.247-250, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01161125

[. Rowe, Interactive music systems : machine listening and composing, 1992.

A. Roebel and X. Rodet, Efficient spectral envelope estimation and its application to pitch shifting and envelope preservation, International Conference on Digital Audio Effects, pp.30-35, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01161334

. Brunoh, Y. Repp, and . Su, Sensorimotor synchronization : A review of recent research, Psychonomic Bulletin & Review, vol.20, issue.3, pp.403-452, 2006.

[. Schwarz, G. Beller, B. Verbrugghe, and S. Britton, Real-time corpus-based concatenative synthesis with catart, 9th Int. Conference on Digital Audio Effects (DAFx-06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-01161358

G. Surges and S. Dubnov, Feature selection and composition using pyoracle, Ninth Artificial Intelligence and Interactive Digital Entertainment Conference, 2013.

R. Steinmetz and K. Nahrstedt, Multimedia systems, 2004.
DOI : 10.1007/978-3-662-08878-4

[. Sorensen, Impromptu : An interactive programming environment for composition and performance, Proceedings of the Australasian Computer Music Conference, 2005.

A. Vijay, M. Saraswat, and . Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.232-245, 1989.

[. Stroppa, Live electronics or???live music? Towards a critique of interaction, Contemporary Music Review, vol.4, issue.3, pp.41-77, 1999.
DOI : 10.1080/07494469900640341

[. Taube, Common Music: A Music Composition Language in Common Lisp and CLOS, Computer Music Journal, vol.15, issue.2, pp.21-32, 1991.
DOI : 10.2307/3680913

C. Trapani and J. Echeveste, Real time tempo canons with antescofo, International Computer Music Conference, p.207, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01053836

M. E. Thomas, Nancarrow's Canons: Projections of Temporal and Formal Structures, Perspectives of New Music, vol.38, issue.2, pp.106-133, 2000.
DOI : 10.2307/833661

[. Tiffon, Recherches sur les musiques mixtes, 1994.

P. M. Neil and . Todd, The kinematics of musical expression, The Journal of the Acoustical Society of America, vol.97, issue.3, pp.1940-1949, 1995.

[. Trueman, Why a laptop orchestra ? Organised Sound, pp.171-179, 2007.

[. Vercoe, The Synthetic Performer in the Context of Live Performance, Proceedings of International Computer Music Conference (ICMC), pp.199-200, 1984.

]. A. Vit63 and . Viterbi, Phase-locked loop dynamics in the presence of noise by fokker-planck techniques, Proceedings of the IEEE, pp.1737-1753, 1963.

B. Vercoe and M. Puckette, Synthetic rehearsal : Training the synthetic performer, Ann Arbor, 1985.

G. Wang, The ChucK Audio Programming Language : An Strongly-timed and On-the-fly Environ/mentality, 2008.

A. M. Wing, S. Endo, A. Bradbury, and D. Vorberg, Optimal feedback correction in string quartet synchronization, Journal of The Royal Society Interface, vol.6, issue.3, pp.11-2014
DOI : 10.3758/BF03214280

G. Widmer and W. Goebl, Computational Models of Expressive Music Performance: The State of the Art, Journal of New Music Research, vol.33, issue.3, pp.203-216, 2004.
DOI : 10.1080/0929821042000317804

[. Winkler, Composing interactive music : techniques and ideas using Max, 2001.

[. Zhao, J. Liu, A. Edward, and . Lee, A programming model for time-synchronized distributed realtime systems, Real Time and Embedded Technology and Applications Symposium, 2007. RTAS'07. 13th IEEE, pp.259-268, 2007.

[. Zamm, . Peterq, C. Pfordresher, and . Palmer, Temporal coordination in joint music performance: effects of endogenous rhythms and auditory feedback, Experimental Brain Research, vol.33, issue.1, pp.607-615, 2015.
DOI : 10.1007/s00221-014-4140-5