{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T16:26:28Z","timestamp":1750436788338},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926863"},{"type":"electronic","value":"9783540926870"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_8","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T09:25:38Z","timestamp":1234257938000},"page":"107-121","source":"Crossref","is-referenced-by-count":6,"title":["A Relational Model of a Parallel and Non-deterministic \u03bb-Calculus"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucciarelli","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Ehrhard","sequence":"additional","affiliation":[]},{"given":"Giulio","family":"Manzonetto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Categories, types and structures. Category theory for the working computer scientist","author":"A. Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, types and structures. Category theory for the working computer scientist. MIT Press, Cambridge (1991)"},{"key":"8_CR2","volume-title":"The lambda calculus: Its syntax and semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The lambda calculus: Its syntax and semantics. North-Holland Publishing Co., Amsterdam (1984)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0304-3975(00)00057-8","volume":"249","author":"C. Berline","year":"2000","unstructured":"Berline, C.: From computation to foundations via functions and application: The \u03bb-calculus and its webbed models. Theor. Comp. Sci.\u00a0249, 81\u2013161 (2000)","journal-title":"Theor. Comp. Sci."},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/inco.1994.1003","volume":"108","author":"G. Boudol","year":"1994","unstructured":"Boudol, G.: Lambda-calculi for (strict) parallel functions. Inf. Comput.\u00a0108(1), 51\u2013127 (1994)","journal-title":"Inf. Comput."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-61064-2_45","volume-title":"Trees in Algebra and Programming - CAAP \u201996","author":"G. Boudol","year":"1996","unstructured":"Boudol, G., Lavatelli, C.: Full abstraction for lambda calculus with resources and convergence testing. In: Kirchner, H. (ed.) CAAP 1996. LNCS, vol.\u00a01059, pp. 302\u2013316. Springer, Heidelberg (1996)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-74915-8_24","volume-title":"Computer Science Logic","author":"A. Bucciarelli","year":"2007","unstructured":"Bucciarelli, A., Ehrhard, T., Manzonetto, G.: Not enough points is enough. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol.\u00a04646, pp. 268\u2013282. Springer, Heidelberg (2007)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-44622-2_19","volume-title":"Computer Science Logic","author":"V. Danos","year":"2000","unstructured":"Danos, V., Krivine, J.-L.: Disjunctive tautologies as synchronisation schemes. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 292\u2013301. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0304-3975(96)80703-1","volume":"170","author":"M. Dezani Ciancaglini","year":"1996","unstructured":"Dezani Ciancaglini, M., de Liguoro, U., Piperno, A.: Filter models for conjunctive-disjunctive lambda-calculi. Theor. Comput. Sci.\u00a0170(1-2), 83\u2013128 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1137\/S0097539794275860","volume":"27","author":"M. Dezani Ciancaglini","year":"1998","unstructured":"Dezani Ciancaglini, M., de Liguoro, U., Piperno, A.: A filter model for concurrent \u03bb-calculus. SIAM J. Comput.\u00a027(5), 1376\u20131419 (1998)","journal-title":"SIAM J. Comput."},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0960129500000281","volume":"3","author":"T. Ehrhard","year":"1993","unstructured":"Ehrhard, T.: Hypercoherences: a strongly stable model of linear logic. Math. Struct. Comp. Sci.\u00a03(4), 365\u2013385 (1993)","journal-title":"Math. Struct. Comp. Sci."},{"key":"8_CR11","unstructured":"Faure, G., Miquel, A.: A categorical semantics for the parallel lambda-calculus (submitted), http:\/\/rho.loria.fr\/data\/lics07.pdf"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Linear Logic. Theor. Comp. Sci.\u00a050 (1988)","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"8_CR13","unstructured":"Krivine, J.-L.: Lambda-calculus. Types and models. Ellis Horwood, Hemel Hempstead (1993)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11690634_24","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Laird","year":"2006","unstructured":"Laird, J.: Bidomains and full abstraction for countable nondeterminism. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 352\u2013366. Springer, Heidelberg (2006)"},{"key":"8_CR15","unstructured":"Manzonetto, G.: Models and theories of lambda calculus. Ph.D.\u00a0Thesis, Univ. Ca\u2019Foscari (Venezia), Univ. Paris 7, Paris (2008)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Ong, C.-H.L.: Non-determinism in a functional setting. In: Proc. of LICS 1993, pp. 275\u2013286 (1993)","DOI":"10.1109\/LICS.1993.287580"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.ic.2005.11.002","volume":"204","author":"L. Paolini","year":"2006","unstructured":"Paolini, L.: A stable programming language. Inf. Comput.\u00a0204(3), 339\u2013375 (2006)","journal-title":"Inf. Comput."},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A powerdomain construction. SIAM J. Comput.\u00a05(3), 452\u2013487 (1976)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theor. Comput. Sci.\u00a05(3), 225\u2013255 (1977)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"8_CR20","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796801004294","volume":"12","author":"P. Selinger","year":"2002","unstructured":"Selinger, P.: The \u03bb-calculus is algebraic. J. Funct. Program.\u00a012(6), 549\u2013566 (2002)","journal-title":"J. Funct. Program."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T23:09:23Z","timestamp":1558134563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}