{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T18:48:54Z","timestamp":1704912534012},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,4,26]],"date-time":"2013-04-26T00:00:00Z","timestamp":1366934400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10626-013-0166-2","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T00:35:30Z","timestamp":1367368530000},"page":"343-383","source":"Crossref","is-referenced-by-count":18,"title":["Operational semantics of a domain specific language for real time musician\u2013computer interaction"],"prefix":"10.1007","volume":"23","author":[{"given":"Jos\u00e9","family":"Echeveste","sequence":"first","affiliation":[]},{"given":"Arshia","family":"Cont","sequence":"additional","affiliation":[]},{"given":"Jean-Louis","family":"Giavitto","sequence":"additional","affiliation":[]},{"given":"Florent","family":"Jacquemard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,26]]},"reference":[{"key":"166_CR1","doi-asserted-by":"crossref","unstructured":"Akshay S, Bollig B, Gastin P, Mukund M, Narayan Kumar K (2008) Distributed timed automata with independently evolving clocks. In: van Breugel F, Chechik M (eds) Proceedings of the 19th international conference on concurrency theory (CONCUR\u201908). Lecture notes in computer science, vol 5201. Springer, Toronto, pp 82\u201397. doi: 10.1007\/978-3-540-85361-9_10","DOI":"10.1007\/978-3-540-85361-9_10"},{"issue":"11","key":"166_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J Allen","year":"1983","unstructured":"Allen J (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843","journal-title":"Commun ACM"},{"key":"166_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235. doi: 10.1016\/0304-3975(94)90010-8","journal-title":"Theor Comput Sci"},{"key":"166_CR4","first-page":"592","volume-title":"Proceedings of the 25th annual ACM symposium on theory of computing, STOC \u201993","author":"R Alur","year":"1993","unstructured":"Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: Proceedings of the 25th annual ACM symposium on theory of computing, STOC \u201993. ACM, New York, pp 592\u2013601. doi: 10.1145\/167088.167242"},{"key":"166_CR5","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 \u00c9, Chatain Th, De Smet O, Fribourg L, Ruel S (2009a) Synth\u00e8se de contraintes temporis\u00e9es pour une architecture d\u2019automatisation en r\u00e9seau. In: Lime D, Roux OH (eds) Actes du 7\u00e8me colloque sur la mod\u00e9lisation des syst\u00e8mes r\u00e9actifs (MSR\u201909). Journal Europ\u00e9en des syst\u00e8mes automatis\u00e9s, vol 43. Herm\u00e8s, Nantes, France, pp 1049\u20131064","DOI":"10.3166\/jesa.43.1049-1064"},{"issue":"5","key":"166_CR6","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1142\/S0129054109006905","volume":"20","author":"\u00c9 Andr\u00e9","year":"2009","unstructured":"Andr\u00e9 \u00c9, Chatain Th, Encrenaz E, Fribourg L (2009b) An inverse method for parametric timed automata. Int J Found Comput Sci 20(5):819\u2013836. doi: 10.1142\/S0129054109006905","journal-title":"Int J Found Comput Sci"},{"key":"166_CR7","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caillaud B, Pouzet M (2010) The fundamentals of hybrid systems modelers. In: 49th IEEE international conference on decision and control (CDC). Atlanta, Georgia, USA","DOI":"10.1109\/CDC.2010.5717614"},{"issue":"2","key":"166_CR8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry G, Gonthier G (1992) The esterel synchronous programming language: design, semantics, implementation. Sci Comput Program 19(2):87\u2013152","journal-title":"Sci Comput Program"},{"key":"166_CR9","unstructured":"Cont A (2008) Antescofo: Anticipatory synchronization and control of interactive parameters in computer music. In: Proceedings of international computer music conference (ICMC). Belfast"},{"issue":"6","key":"166_CR10","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1109\/TPAMI.2009.106","volume":"32","author":"A Cont","year":"2010","unstructured":"Cont A (2010) A coupled duration-focused architecture for realtime music to score alignment. IEEE Trans Pattern Anal Mach Intell 32(6):974\u2013987","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"166_CR11","volume-title":"Sound and music computing","author":"A Cont","year":"2011","unstructured":"Cont A (2011) On the creative use of score following and its impact on research. In: Sound and music computing. Padova, Italy"},{"issue":"8","key":"166_CR12","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/1145287.1145311","volume":"49","author":"R Dannenberg","year":"2006","unstructured":"Dannenberg R, Raphael C (2006) Music score alignment and computer accompaniment. Commun ACM 49(8):38\u201343","journal-title":"Commun ACM"},{"key":"166_CR13","unstructured":"Dannenberg RB (1984) An on-line algorithm for real-time accompaniment. In: Proceedings of the international computer music conference (ICMC), pp 193\u2013198"},{"issue":"4","key":"166_CR14","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1080\/09298210600578212","volume":"34","author":"M Desainte-Catherine","year":"2005","unstructured":"Desainte-Catherine M, Allombert A (2005) Interactive scores: a model for specifying temporal relations between interactive and static events. JNMR 34(4):361\u2013374","journal-title":"JNMR"},{"key":"166_CR15","doi-asserted-by":"crossref","unstructured":"Echeveste J, Cont A, Giavitto J-L, Jacquemard F (2011) Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d\u2019accompagnement automatique Actes du 8eme Colloque sur la Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR\u201911) Craye, \u00c9tienne and Gamati\u00e9, Abdoulaye Editors, vol. 45. Herm\u00e8, Journal Europ\u00e9en des Syst\u00e8es Automatis\u00e9, pp. 109\u2013124","DOI":"10.3166\/jesa.45.109-124"},{"key":"166_CR16","unstructured":"Fanchon L (2012) Formal analysis of score. Master\u2019s thesis, Ecole Centrale, Paris, France. Available at http:\/\/articles.ircam.fr Accessed 19 April 2013"},{"issue":"9","key":"166_CR17","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous data flow programming language lustre. Proc IEEE 79(9):1305\u20131320","journal-title":"Proc IEEE"},{"issue":"1","key":"166_CR18","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1037\/0033-295X.106.1.119","volume":"106","author":"E Large","year":"1999","unstructured":"Large E, Jones M (1999) The dynamics of attending: how people track time-varying events. Psychol Rev 106(1):119","journal-title":"Psychol Rev"},{"issue":"9","key":"166_CR19","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P LeGuernic","year":"1991","unstructured":"LeGuernic P, Gautier T, Le Borgne M, Le Maire C (1991) Programming real-time applications with signal. Proc IEEE 79(9):1321\u20131336","journal-title":"Proc IEEE"},{"key":"166_CR20","first-page":"44","volume-title":"Proceedings of model-driven high-level programming of embedded systems (SLA+\u2009+P\u201908). Electronic notes in computer science","author":"L Mandel","year":"2008","unstructured":"Mandel L, Plateau F (2008) Interactive programming of reactive systems. In: Proceedings of model-driven high-level programming of embedded systems (SLA+\u2009+P\u201908). Electronic notes in computer science. Elsevier, Budapest, pp 44\u201359"},{"key":"166_CR21","unstructured":"Manoury P (2007) Consid\u00e9rations (toujours actuelles) sur l\u2019\u00e9tat de la musique en temps r\u00e9el. Etincelle, le journal de la cr\u00e9ation \u00e0 l\u2019Ircam. http:\/\/etincelle.ircam.fr\/prospectives.html Accessed 19 April 2013"},{"key":"166_CR22","unstructured":"Pouzet M (2006) Lucid synchrone, version 3. Tutorial and reference manual Universit\u00e9 Paris-Sud, LRI"},{"key":"166_CR23","doi-asserted-by":"crossref","first-page":"68","DOI":"10.2307\/3680767","volume":"15","author":"M Puckette","year":"1991","unstructured":"Puckette M (1991) Combining event and signal processing in the max graphical programming environment. Comput Music J 15:68\u201377","journal-title":"Comput Music J"},{"key":"166_CR24","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/1897852.1897875","volume":"54","author":"C Raphael","year":"2011","unstructured":"Raphael C (2011) The informatics philharmonic. Commun ACM 54:87\u201393. doi: 10.1145\/1897852.1897875","journal-title":"Commun ACM"},{"key":"166_CR25","unstructured":"Vercoe B (1984) The synthetic performer in the context of live performance. In: Proceedings of the ICMC, pp 199\u2013200"},{"key":"166_CR26","doi-asserted-by":"crossref","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstr\u00f6m P (2008) The worst-case execution-time problem\u2014overview of methods and survey of tools. ACM Trans Embed Comput Syst 7:36:1\u201336:53. doi: 10.1145\/1347375.1347389","journal-title":"ACM Trans Embed Comput Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0166-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-013-0166-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0166-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T03:04:52Z","timestamp":1562987092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-013-0166-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,26]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["166"],"URL":"https:\/\/doi.org\/10.1007\/s10626-013-0166-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,26]]}}}