{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:02Z","timestamp":1725466142461},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","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":[[1998]]},"DOI":"10.1007\/bfb0053559","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:40:18Z","timestamp":1149644418000},"page":"1-11","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Concurrent constraint programming based on functional programming"],"prefix":"10.1007","author":[{"given":"Gert","family":"Smolka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"1_CR1","volume-title":"Objects for Concurrent Constraint Programming","author":"M. Henz","year":"1997","unstructured":"M. Henz. Objects for Concurrent Constraint Programming. Kluwer Academic Publishers, Boston, Nov. 1997."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19\/20:503\u2013582, May-July 1994.","journal-title":"The Journal of Logic Programming"},{"key":"1_CR3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1988","unstructured":"J.-L. Lassez, M. J. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, San Mateo, CA, USA, 1988."},{"key":"1_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997."},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/218570.218572","volume":"17","author":"A. Ohori","year":"1995","unstructured":"A. Ohori. A polymorphic record calculus and its compilation. ACM Trans. Prog. Lang. Syst., 17(6):844\u2013895, 1995.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"1_CR6","unstructured":"Oz. The Oz Programming System. Programming Systems Lab, DFKI and Universit\u00e4t des Saarlandes: http:\/\/wsrw.ps.uni-sb.de\/oz\/."},{"key":"1_CR7","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B. C. Pierce","year":"1997","unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, Cambridge, MA, 1997."},{"key":"1_CR8","unstructured":"J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proceedings of the National Conference on Artificial Intelligence, pages 362\u2013367, 1994."},{"key":"1_CR9","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. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993."},{"key":"1_CR10","first-page":"519","volume-title":"volume 1330 of Lecture Notes in Computer Science","author":"C. Schulte","year":"1997","unstructured":"C. Schulte. Programming constraint inference engines. In G. Smolka, editor, Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, pages 519\u2013533, Schloss Hagenberg, Linz, Austria, Oct. 1997. Springer-Verlag."},{"key":"1_CR11","first-page":"505","volume-title":"Encapsulated search in higher-order concurrent constraint programming","author":"C Schulte","year":"1994","unstructured":"C Schulte and G. Smolka. Encapsulated search in higher-order concurrent constraint programming. In M. Bruynooghe, editor, Proceedings of the International Logic Programming Symposium, pages 505\u2013520, Ithaca, New York, USA, Nov. 1994. The MIT Press, Cambridge, MA."},{"key":"1_CR12","unstructured":"C. Schulte, G. Smolka, and J. W\u00fcrtz. Finite domain constraint programming in Oz, a tutorial, 1998. Programming Systems Lab, DFKI and Universit\u00e4t des Saarlandes: ftp:\/\/ftp.ps.uni-sb.de\/oz\/documentation\/FDTutorial.ps.gz."},{"key":"1_CR13","series-title":"volume 845 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BFb0016844","volume-title":"Constraints in Computational Logics","author":"G. Smolka","year":"1994","unstructured":"G. Smolka. A foundation for concurrent constraint programming. In J.-P. Jouannaud, editor, Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, pages 50\u201372. Springer-Verlag, Berlin, Sept. 1994."},{"key":"1_CR14","series-title":"volume 910 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-59155-9_14","volume-title":"Constraints: Basics and Trends","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 251\u2013292. Springer-Verlag, Berlin, 1995."},{"key":"1_CR15","series-title":"volume 1000 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz Programming Model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324\u2013343. Springer-Verlag, Berlin, 1995."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"G. Smolka. Problem solving with constraints and programming. ACM Computing Surveys, 28(4), Dec. 1996. Electronic Section.","DOI":"10.1145\/242224.242321"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"G. Smolka and R. Treinen. Records for logic programming. The Journal of Logic Programming, 18(3):229\u2013258, Apr. 1994.","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/242223.242279","volume":"28","author":"P. Hentenryck Van","year":"1997","unstructured":"P. Van Hentenryck, V. Saraswat, et al. Strategic directions in constraint programming. ACM Computing Surveys, 28(4):701\u2013726, Dec. 1997. ACM 50th Anniversary Issue. Strategic Directions in Computing Research.","journal-title":"ACM Computing Surveys"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"P. Van Roy, S. Haridi, P. Brand, G. Smolka, M. Mehl, and R. Scheidhauer. Mobile objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, 19(5), Sept. 1997.","DOI":"10.1145\/265943.265972"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T12:16:12Z","timestamp":1578485772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053559"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0053559","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"23 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}