{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:40:04Z","timestamp":1752381604081,"version":"3.41.2"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1023\/a:1009849309451","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"21-52","source":"Crossref","is-referenced-by-count":6,"title":["Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language"],"prefix":"10.1007","volume":"6","author":[{"given":"Camilo","family":"Rueda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gloria","family":"Alvarez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis O.","family":"Quesada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Tamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Valencia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Francisco","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Assayag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"282328_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli (1994). \u201cA Theory of Primitive Objects: Untyped and First-order Systems. \u201d Proceedings of Theoretical Aspects of Computer Software.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"282328_CR2","unstructured":"G. Assayag and C. Agon (1996). \u201cOpenMusic Architecture. \u201d Proceedings of ICMC' 96. Hong Kong, China."},{"key":"282328_CR3","volume-title":"Recherches et Applications en Informatique Musicale","author":"A. Bonnet","year":"1998","unstructured":"A. Bonnet and C. Rueda (1998). Situation: Un Langage Visuel Basee sur les Contraintes pour la Composition Musicale. Recherches et Applications en Informatique Musicale. M. Chemillier and F. Pachet, editors, HERMES, Paris, France."},{"issue":"1","key":"282328_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)90094-1","volume":"27","author":"P. Codognet","year":"1996","unstructured":"P. Codognet and D. Diaz (1996). \u201cCompiling Constraints in clp(FD). \u201d J. Logic Programming, 27(1): 1\u2013199.","journal-title":"J. Logic Programming"},{"key":"282328_CR5","first-page":"171","volume-title":"Asian Computing Science Conference","author":"N. Joachim","year":"1995","unstructured":"N. Joachim and M. M\u00fcller (1995). \u201cConstraints for Free in Concurrent Computation. \u201d Asian Computing Science Conference. K. Kanchanasut and J.-J. L\u00e9vy, editors, pages 171\u2013186, Pathumthani, Thailand."},{"key":"282328_CR6","doi-asserted-by":"crossref","unstructured":"R. Milner (1991). \u201cThe Polyadic \u03c0-Calculus: A Tutorial. \u201d Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science. Also in Logic and Algebra of Specification, F. L. Bauer, W. Brauer and H. Schwichtenberg, editors, Springer Verlag, (1993).","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"282328_CR7","unstructured":"F. Pachet and P. Roy (1995). \u201cMixing Constraints and Objects: A Case Study in Automatic Harmonization. \u201d Proceedings of TOOLS Europe'95. pages 119\u2013126, Versailles, France."},{"key":"282328_CR8","volume-title":"Proceedings of the CLEI97","author":"L. Quesada","year":"1997","unstructured":"L. Quesada, C. Rueda, and G. Tamura (1997). \u201cThe Visual Model of Cordial. \u201d Proceedings of the CLEI97. Valparaiso, Chile."},{"key":"282328_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"J. P. R. Milner","year":"1992","unstructured":"J. P. R. Milner and D. Walker (1992). \u201cA Calculus of Mobile Processes, Parts I and II. \u201d Journal of Information and Computation, 100: 1\u201377.","journal-title":"Journal of Information and Computation"},{"key":"282328_CR10","unstructured":"J. R\u00e9ty (1997). \u201cUn Langage Distribu\u00e9 Concurrent Avec Contraintes. \u201d JFPLC-97."},{"key":"282328_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat (1993). Concurrent Constraint Programming. The MIT Press, Cambridge, MA."},{"key":"282328_CR12","series-title":"Research Report","volume-title":"A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards","author":"G. Smolka","year":"1994","unstructured":"G. Smolka (1994a). \u201cA Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards. \u201d Research Report RR-94-03, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany."},{"key":"282328_CR13","doi-asserted-by":"crossref","unstructured":"G. Smolka (1994b). \u201cA Foundation for Higher-order Concurrent Constraint Programming. \u201d 1st International Conference on Constraints in Computational Logics. J.-P. Jouannaud, editor, pages 50\u201372, M\u00fcnchen, Germany.","DOI":"10.1007\/BFb0016844"},{"key":"282328_CR14","unstructured":"D. N. Turner (1995). \u201cThe Polymorphic Pi-Calculus: Theory and Implementation. \u201d Ph.D. Thesis, Laboratory for Foundations of Computer Science."},{"key":"282328_CR15","unstructured":"F. Valencia, J. F. Diaz, and C. Rueda (1997). \u201cThe \u03c0+-Calculus. \u201d Proceedings of the CLEI97. Valparaiso, Chile."},{"key":"282328_CR16","doi-asserted-by":"crossref","unstructured":"V. T. Vasconcelos (1994). \u201cTyped Concurrent Objects. \u201d Proc. of 8th European Conference on Object-Oriented Programming (ECOOP'94), M. Tokoro and R. Pareschi, editors, volume 821 of Lecture Notes in Computer Science, pages 100\u2013117.","DOI":"10.1007\/BFb0052178"},{"issue":"2","key":"282328_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker (1995). \u201cObjects in the \u03c0-Calculus. \u201d Journal of Information and Computation, 116(2): 253\u2013271.","journal-title":"Journal of Information and Computation"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009849309451.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009849309451\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009849309451.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:10:19Z","timestamp":1752379819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009849309451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["282328"],"URL":"https:\/\/doi.org\/10.1023\/a:1009849309451","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}