A. Allombert, R. Marczak, M. Desainte-catherine, and P. Baltazar, GarnierLaurent: Virage: Designing An Interactive Intermedia Sequencer From Users Requirements And Theoretical Background, International Computer Music Conference, 2010.

J. M. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

J. Arias, M. Desainte-catherine, C. Olarte, and C. Rueda, Foundations for Reliable and Flexible Interactive Multimedia Scores, Tech. Rep, 2015.
DOI : 10.1007/978-3-319-20603-5_3
URL : https://hal.archives-ouvertes.fr/hal-01129394

V. Danos, J. Joinet, and H. Schellinx, The structure of exponentials: Uncovering the dynamics of linear logic proofs, Proc. of Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, pp.159-171, 1993.
DOI : 10.1007/BFb0022564

M. Desainte-catherine, A. Allombert, and G. Assayag, Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation, Computer Music Journal, vol.7, issue.2, pp.61-72, 2013.
DOI : 10.2307/2026005

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

T. Hoare, G. Menzel, and J. Misra, A Tree Semantics of an Orchestration Language, Engineering Theories of Software Intensive Systems. NATO Science Series II: Mathematics, pp.331-350, 2005.
DOI : 10.1007/1-4020-3532-2_11

R. Marczak, M. Desainte-catherine, and A. Allombert, Real-time temporal control of musical processes, Proc of the Third International Conferences on Advances in Multimedia, pp.12-17, 2011.

V. Nigam, C. Olarte, and E. Pimentel, A General Proof System for Modalities in Concurrent Constraint Programming, Proc. of CONCUR, pp.410-424, 2013.
DOI : 10.1007/978-3-642-40184-8_29

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

P. Sénac, P. De-saqui-sannes, and R. Willrich, Hierarchical Time Stream Petri Net: A model for hypermedia systems, Proc. of Application and Theory of Petri Nets, pp.451-470, 1995.
DOI : 10.1007/3-540-60029-9_54

M. Toro, M. Desainte-catherine, and C. Rueda, Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Journal of Mathematics and Music, vol.330, issue.3, pp.93-112, 2014.
DOI : 10.1007/s00500-004-0390-7

D. A. Tran, K. A. Hua, and K. Vu, VideoGraph: A Graphical Object-Based Model for Representing and Querying Video Data, pp.383-396, 2000.
DOI : 10.1007/3-540-45393-8_28