{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:47:23Z","timestamp":1752461243530},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:49Z","timestamp":1330280089000},"page":"310-327","source":"Crossref","is-referenced-by-count":3,"title":["A confluent calculus for concurrent constraint programming with guarded choice"],"prefix":"10.1007","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","volume-title":"volume 103 of Studies in Logic and the Foundations of Mathematics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt. The Lambda Calculus: its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, revised edition, 1984.","edition":"revised edition"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1145\/177492.177656","volume":"16","author":"M. Codish","year":"1994","unstructured":"M. Codish, M. Falaschi, and K. Marriott. Suspension analyses for concurrent logic programs. ACM Transactions on Programming Languages and Systems, 16(3):649\u2013686, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott, and W. Winsborough. Efficient analysis of concurrent constraint logic programs. In Proc. 20th International Colloquium on Automata, Languages, and Programming, pages 633\u2013644. Springer Verlag, 1993. LNCS 700.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"19_CR4","unstructured":"C. Codognet, P. Codognet, and M. Corsini. Abstract interpretation for concurrent logic languages. In Proc. North American Conf. on Logic Programming, pages 215\u2013232, 1990."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Compositional analysis for concurrent constraint programming. In Proc. 8th IEEE Symposium on Logic In Computer Science, pages 210\u2013221, 1993.","DOI":"10.1109\/LICS.1993.287586"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence and concurrent constraint programming. In to appear in Proc. AMAST, 1995.","DOI":"10.1007\/3-540-60043-4_76"},{"key":"19_CR7","unstructured":"Leon Henkin, J.Donald Monk, and Alfred Tarski. Cylindric Algebras, volume 64 of Studies in Logic and the Foundations of Mathematics. North Holland, 1971."},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G\u00e9rard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797\u2013821, 1980.","journal-title":"Journal of the ACM"},{"key":"19_CR9","series-title":"Mathematical Centre Tracts","volume-title":"PhD thesis","author":"J. W. Klop","year":"1980","unstructured":"Jan Willem Klop. Combinatory Reduction Systems. PhD thesis, Mathematisch Centrum, Kruislaan 413, 1098 SJ Amsterdam, 1980. Mathematical Centre Tracts n. 127."},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"key":"19_CR11","unstructured":"M. Maher. Logic semantics for a class of committed-choice programs. In Proc. Fouth Int. Conf. on Logic Programming, pages 858\u2013876, 1987."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"U. Montanari, F. Rossi, and V. Saraswat. CC programs with both in-and non-determinism: A concurrent semantics. In Second Int. Workshop on Principles and Practice of Constraint Programming (PPCP'94), pages 151\u2013161. Springer Verlag, 1994. LNCS 874.","DOI":"10.1007\/3-540-58601-6_97"},{"key":"19_CR13","unstructured":"Joachim Niehren. Funktionale Berechnung in einem uniform nebenl\u00e4ufigen Kalk\u00fcl mit logischen Variablen. PhD thesis, Universit\u00e4t des Saarlandes, 1994."},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science, vol. 845","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0016846","volume-title":"1st International Conference on Constraints in Computational Logics","author":"J. Niehren","year":"1994","unstructured":"Joachim Niehren and Gert Smolka. A confluent relational calculus for higher-order programming with constraints. In Jean-Pierre Jouannaud, editor, 1st International Conference on Constraints in Computational Logics, Lecture Notes in Computer Science, vol. 845, pages 89\u2013104, M\u00fcnchen, Germany, 7\u20139 September 1994. Springer-Verlag."},{"key":"19_CR15","first-page":"333","volume-title":"The semantic foundations of concurrent constraint programming","author":"V. Saraswat","year":"1991","unstructured":"Vijay Saraswat, Martin Rinard, and Prakash Panangaden. The semantic foundations of concurrent constraint programming. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, pages 333\u2013352. ACM Press, January 1991."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Vijay A. Saraswat and Martin Rinard. Concurrent constraint programming. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 232\u2013245, San Francisco, California, January 1990.","DOI":"10.1145\/96709.96733"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"E. Zaffanella, G. Levi, and R. Giacobazzi. Abstracting synchronization in concurrent constraint programming. In Proc. 5th Int'l Symposium on Programming Language Implementation and Logic Programming. Springer Verlag, 1994. LNCS 844.","DOI":"10.1007\/3-540-58402-1_6"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:52Z","timestamp":1619573812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}