{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:30:53Z","timestamp":1752460253572},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_97","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:18Z","timestamp":1330274238000},"page":"151-161","source":"Crossref","is-referenced-by-count":5,"title":["Towards a concurrent semantics based analysis of CC and CLP"],"prefix":"10.1007","author":[{"given":"U.","family":"Montanari","sequence":"first","affiliation":[]},{"given":"F.","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"F.","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"M.","family":"Garc\u00eda de la Banda","sequence":"additional","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"F. Bueno, M. Garc\u00eda Banda, and M. Hermenegildo. Compile-time Optimizations and Analysis Requirements for CC Programs. Technical Report CLIP6\/93.0, T.U. of Madrid (UPM), July 1993."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Garc\u00eda Banda, M. Hermenegildo, U. Montanari, and F. Rossi. From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. In Fourth International Conference on Algebraic and Logic Programming, Springer-Verlag LNCS, September, 1994. To appear.","DOI":"10.1007\/3-540-58431-5_10"},{"key":"13_CR3","unstructured":"F. Bueno and M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. In International Conference on Fifth Generation Computer Systems, pages 759\u2013769. Institute for New Generation Computer Technology (ICOT), June 1992."},{"issue":"4","key":"13_CR4","first-page":"412","volume":"28","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An Introduction to Prolog III. CACM, 28(4):412\u2013418, 1990.","journal-title":"CACM"},{"key":"13_CR5","unstructured":"J. S. Conery. The And\/Or Process Model for Parallel Interpretation of Logic Programs. PhD thesis, The University of California At Irvine, 1983. Technical Report 204."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"S.K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Technical Report, University of Arizona, 1993.","DOI":"10.1002\/spe.4380231204"},{"key":"13_CR7","volume-title":"Independence in Constraint Logic Programs","author":"M. Garc\u00eda de la Banda","year":"1993","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In International Logic Programming Symposium. MIT Press, Boston, MA, October 1993."},{"key":"13_CR8","unstructured":"D. DeGroot. Restricted AND-Parallelism. In International Conference on Fifth Generation Computer Systems, pages 471\u2013478. Tokyo, November 1984."},{"key":"13_CR9","unstructured":"M. Hermenegildo. Towards CI AO-Prolog \u2014 A Parallel Concurrent Constraint System. In Workshop on the Principles and Practice of Constraint Programming, LNCS, Springer-Verlag, 1994."},{"key":"13_CR10","unstructured":"M. Hermenegildo and F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 1993. To appear."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In ACM Symp. Principles of Programming Languages, pages 111\u2013119. ACM, 1987.","DOI":"10.1145\/41625.41635"},{"key":"13_CR12","unstructured":"S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In International Logic Programming Symposium, pages 167\u2013183. MIT Press, 1991."},{"key":"13_CR13","first-page":"478","volume-title":"Schedule Analysis of Concurrent Logic Programs","author":"A. King","year":"1992","unstructured":"Andy King and Paul Soper. Schedule Analysis of Concurrent Logic Programs. In Joint International Conference and Symposium on Logic Programming, pages 478\u2013492, Washington, USA, 1992. The MIT Press."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal, and Reordering. In 19th. Annual ACM Conf. on Principles of Programming Languages. ACM, 1992.","DOI":"10.1145\/158511.158685"},{"key":"13_CR15","first-page":"694","volume-title":"True-concurrency in Concurrent Constraint Programming","author":"U. Montanari","year":"1991","unstructured":"U. Montanari and F. Rossi. True-concurrency in Concurrent Constraint Programming. In International Symposium on Logic Programming, pages 694\u2013716, San Diego, USA, 1991. The MIT Press."},{"key":"13_CR16","unstructured":"U. Montanari and F. Rossi. Contextual Occurence Nets and Concurrent. Constraint Programming. Technical report, U. of Pisa, Computer Science Department, Corso Italia 40, 56100 Pisa, Italy, May 1993."},{"key":"13_CR17","unstructured":"L. Naish. Parallelizing NU-Prolog. In International Conference and Symposium on Logic Programming, pages 1546\u20131564, August, 1988. The MIT Press."},{"key":"13_CR18","unstructured":"Francesca Rossi. Constraints and Concurrency. PhD thesis, Universita di Pisa, April 1993."},{"key":"13_CR19","volume-title":"PhD thesis","author":"V. Saraswat","year":"1989","unstructured":"V. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie Mellon, Pittsburgh, 1989. School of Computer Science."},{"key":"13_CR20","volume-title":"Concurrent Prolog: Collected Papers","author":"E.Y. Shapiro","year":"1987","unstructured":"E.Y. Shapiro, editor. Concurrent Prolog: Collected Papers. MIT Press, Cambridge MA, 1987."},{"key":"13_CR21","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:23Z","timestamp":1605648203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}