{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:33Z","timestamp":1742913633840,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319206028"},{"type":"electronic","value":"9783319206035"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20603-5_3","type":"book-chapter","created":{"date-parts":[[2015,6,15]],"date-time":"2015-06-15T11:28:09Z","timestamp":1434367689000},"page":"29-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Foundations for Reliable and Flexible Interactive Multimedia Scores"],"prefix":"10.1007","author":[{"given":"Jaime","family":"Arias","sequence":"first","affiliation":[]},{"given":"Myriam","family":"Desainte-Catherine","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[]},{"given":"Camilo","family":"Rueda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,16]]},"reference":[{"key":"3_CR1","unstructured":"Allombert, A., Marczak, R., Desainte-Catherine, M., Baltazar, P.: GarnierLaurent: virage: designing an interactive intermedia sequencer from users requirements and theoretical background. In: International Computer Music Conference (2010)"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"JM Andreoli","year":"1992","unstructured":"Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297\u2013347 (1992)","journal-title":"J. Log. Comput."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Arias, J., Desainte-Catherine, M., Olarte, C., Rueda, C.: Foundations for reliable and flexible interactive multimedia scores. Technical Report, LaBRI, University of Bordeaux, March 2015","DOI":"10.1007\/978-3-319-20603-5_3"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V Danos","year":"1993","unstructured":"Danos, V., Joinet, J., Schellinx, H.: The structure of exponentials: uncovering the dynamics of linear logic proofs. In: Mundici, D., Gottlob, G., Leitsch, A. (eds.) KGC 1993. LNCS, vol. 713, pp. 159\u2013171. Springer, Heidelberg (1993)"},{"key":"3_CR5","unstructured":"De la Hogue, T., Baltazar, P., Desainte-Catherine, M., Chao, J., Bossut, C.: OSSIA: open scenario system for interactive applications. In: Journ\u00e9es d\u2019Informatique Musicale, pp. 78\u201384. Bourges (2014)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1162\/COMJ_a_00179","volume":"37","author":"M Desainte-Catherine","year":"2013","unstructured":"Desainte-Catherine, M., Allombert, A., Assayag, G.: Towards a hybrid temporal paradigm for musical composition and performance: the case of musical interpretation. Comput. Music J. 37(2), 61\u201372 (2013)","journal-title":"Comput. Music J."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J Girard","year":"1987","unstructured":"Girard, J.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR8","series-title":"NATO Science Series II: Mathematics, Physics and Chemistry","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/1-4020-3532-2_11","volume-title":"Engineering Theories of Software Intensive Systems","author":"T Hoare","year":"2005","unstructured":"Hoare, T., Menzel, G., Misra, J.: A tree semantics of an orchestration language. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series II: Mathematics, Physics and Chemistry, vol. 195, pp. 331\u2013350. Springer, Netherlands (2005)"},{"key":"3_CR9","unstructured":"Marczak, R., Desainte-Catherine, M., Allombert, A.: Real-time temporal control of musical processes. In: Proceedings of the Third International Conferences on Advances in Multimedia, MMEDIA 2011, pp. 12\u201317 (2011)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-40184-8_29","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"V Nigam","year":"2013","unstructured":"Nigam, V., Olarte, C., Pimentel, E.: A general proof system for modalities in concurrent constraint programming. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol. 8052, pp. 410\u2013424. Springer, Heidelberg (2013)"},{"key":"3_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-02394-1_20","volume-title":"Mathematics and Computation in Music","author":"C Olarte","year":"2009","unstructured":"Olarte, C., Rueda, C.: A declarative language for dynamic multimedia interaction systems. In: Chew, E., Childs, A., Chuan, C.-H. (eds.) MCM 2009. CCIS, vol. 38, pp. 218\u2013227. Springer, Heidelberg (2009)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-60029-9_54","volume-title":"Application and Theory of Petri Nets 1995","author":"P S\u00e9nac","year":"1995","unstructured":"S\u00e9nac, P., de Saqui-Sannes, P., Willrich, R.: Hierarchical time stream petri net: a model for hypermedia systems. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 451\u2013470. Springer, Heidelberg (1995)"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/17459737.2013.870610","volume":"8","author":"M Toro","year":"2014","unstructured":"Toro, M., Desainte-Catherine, M., Rueda, C.: Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios. J. Math. Music 8(1), 93\u2013112 (2014)","journal-title":"J. Math. Music"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/3-540-45393-8_28","volume-title":"Conceptual Modeling - ER 2000","author":"DA Tran","year":"2000","unstructured":"Tran, D.A., Hua, K.A., Vu, K.: VideoGraph: a graphical object-based model for representing and querying video data. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 383\u2013396. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Mathematics and Computation in Music"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20603-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T01:42:31Z","timestamp":1559180551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20603-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319206028","9783319206035"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20603-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}