{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:16Z","timestamp":1725664156349},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606888"},{"type":"electronic","value":"9783540492627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60688-2_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:52:04Z","timestamp":1330271524000},"page":"171-186","source":"Crossref","is-referenced-by-count":8,"title":["Constraints for free in concurrent computation"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Niehren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. A call-by-need lambda calculus. In Proc. POPL, pp. 233\u2013246. ACM Press, 1995.","DOI":"10.1145\/199448.199507"},{"key":"14_CR3","volume-title":"Rapport de Recherche 1702","author":"G. Boudol","year":"1992","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA, Sophia Antipolis, France, May 1992."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"S. Brook and G. Ostheimer. Process semantics of graph reduction. In Proc. CONCUR, pp. 238\u2013252, August 1995.","DOI":"10.1007\/3-540-60218-6_36"},{"key":"14_CR5","first-page":"463","volume-title":"Proc. JICSLP","author":"F. S. Boer de","year":"1992","unstructured":"F. S. de Boer and C. Palamidessi. A process algebra of concurrent constraint programming. In Krzysztof Apt, ed., Proc. JICSLP, pp. 463\u2013477, Cambridge, Massachusetts, 1992. The MIT Press."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, and C. Palamidessi. Compositional analysis for concurrent constraint programming. In Proc. LICS, pp. 210\u2013220. IEEE Computer Society Press, June 1993.","DOI":"10.1109\/LICS.1993.287586"},{"key":"14_CR7","first-page":"27","volume-title":"Principles and Practice of Constraint Programming","author":"M. Henz","year":"1995","unstructured":"M. Henz, G. Smolka, and J. W\u00fcrtz. Object-Oriented Concurrent Constraint Programming in Oz. In V. Saraswat and P. Van Hentenryck, eds., Principles and Practice of Constraint Programming, chapter 2, pp. 27\u201348. The MIT Press, Cambridge, MA, Cambridge, MA, 1995."},{"key":"14_CR8","unstructured":"K. Honda and N. Yoshida. On Reduction-Based Semantics. In R. K. Shyamasundar, ed., Proc. FST-TCS, Bombay, India, December 1993."},{"key":"14_CR9","series-title":"SICS Dissertation Series 14","volume-title":"PhD thesis","author":"S. Janson","year":"1994","unstructured":"Sverker Janson. AKL \u2014 A Multiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden, 1994. SICS Dissertation Series 14."},{"key":"14_CR10","unstructured":"J. W. Klop. Term Rewriting Systems. In S. Abramsky, D. M. Gabbay, and T. S. M. Maibaum, eds., Handbook of Logic in Computer Science, volume 2, chapter 2, pp. 2\u2013116. Oxford University Press, 1992."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"M. Mehl, R. Scheidhauer, and C. Schulte. An Abstract Machine for Oz. In Proc. PLILP, LNCS. Utrecht, NL, 9\/20-22\/95. Springer, Berlin, Germany. To appear.","DOI":"10.1007\/BFb0026819"},{"key":"14_CR12","volume-title":"NATO ASI Series","author":"R. Milner","year":"1993","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, eds., Proc. 1991 Marktoberndorf Summer School on Logic and Algebra of Specification. NATO ASI Series, Springer, Berlin, Germany, 1993."},{"issue":"2","key":"14_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as Processes. Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"14_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1\u201340 and 41\u201377, September 1992.","journal-title":"Information and Computation"},{"key":"14_CR15","volume-title":"DFKI Oz documentation series","author":"T. M\u00fcller","year":"1994","unstructured":"T. M\u00fcller, Konstantin Popow, C. Schulte, and J. W\u00fcrtz. Constraint programming in Oz. DFKI Oz documentation series, DFKI Saarbr\u00fccken, Germany, 1994. Documentation and System: http:\/\/ps@www.dfki.uni-sb.de."},{"key":"14_CR16","volume-title":"Doctoral Dissertation","author":"J. Niehren","year":"1994","unstructured":"J. Niehren. Funktionale Berechnung in einem uniform nebenl\u00e4ufigen Kalk\u00fcl mit logischen Variablen. Doctoral Dissertation. Universit\u00e4t des Saarlandes, Technische Fakult\u00e4t, 66041 Saarbr\u00fccken, Germany, December 1994. In German."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"J. Niehren. Functional computation as concurrent computation, 1995. Submitted, http:\/\/ps-www.dfki.uni-sb.de\/\u223cniehren.","DOI":"10.1145\/237721.237801"},{"key":"14_CR18","volume-title":"Research Report","author":"J. Niehren","year":"1995","unstructured":"Joachim Niehren and Martin M\u00fcller. Constraints for Free in Concurrent Computation. Research Report, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, September 1995."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"J. Niehren and G. Smolka. A confluent relational calculus for higher-order programming with constraints. In J.-P. Jouannaud, ed., Proc. CCL, LNCS 845, pp. 89\u2013104, Germany, 1994.","DOI":"10.1007\/BFb0016846"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"G. D. Plotkin. Call-by-name, Call-by-value and the \u03bb-Calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. POPL, pp. 333\u2013352. ACM Press, 1991.","DOI":"10.1145\/99583.99627"},{"key":"14_CR22","volume-title":"Research Report RR-94-03","author":"G. Smolka","year":"1994","unstructured":"G. Smolka. A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards. Research Report RR-94-03, DFKI, Saarbr\u00fccken, Germany, 1994."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"G. Smolka. A Foundation for Concurrent Constraint Programming. In J.-P. Jouannaud, ed., Proc. CCL, LNCS 845, pp. 50\u201372, Germany, 1994.","DOI":"10.1007\/BFb0016844"},{"key":"14_CR24","volume-title":"DFKI Oz documentation series","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. An Oz primer. DFKI Oz documentation series, DFKI, Saarbr\u00fccken, Germany, 1995. Documentation and System: http:\/\/ps-www.dfki.uni-sb.de."},{"key":"14_CR25","series-title":"LNCS 910","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 Andreas Podelski, ed., Constraints: Basics and Trends, LNCS 910, pp. 251\u2013292. Springer, Berlin, Germany, 1995."}],"container-title":["Lecture Notes in Computer Science","Algorithms, Concurrency and Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60688-2_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:26:56Z","timestamp":1619558816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60688-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606888","9783540492627"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-60688-2_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}