{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:11Z","timestamp":1725663251154},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:24Z","timestamp":1330176204000},"page":"467-478","source":"Crossref","is-referenced-by-count":3,"title":["Alternative semantics for McCarthy's amb"],"prefix":"10.1007","author":[{"given":"William","family":"Clinger","sequence":"first","affiliation":[]},{"given":"Charles","family":"Halpern","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"22_CR1","volume-title":"The Lambda Calculus: its Syntax and Semantics","author":"H. P. Barendregt","year":"1981","unstructured":"H P Barendregt, The Lambda Calculus: its Syntax and Semantics, North-Holland, Amsterdam, 1981."},{"key":"22_CR2","volume-title":"Proc. 3-e Colloque International sur la Programmation, Paris","author":"G Berry","year":"1978","unstructured":"G Berry, \u201cS\u00e9quentialit\u00e9 de l'evaluation formelle des lambda-expressions\u201d, in: Proc. 3-e Colloque International sur la Programmation, Paris, mars 1978 (Dunod, Paris)."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Manfred Broy, \u201cA fixed point approach to applicative multiprogramming\u201d, lecture notes for the International Summer School on Theoretical Foundations of Programming Methodology, July 1981.","DOI":"10.1007\/978-94-009-7893-5_16"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"William Clinger, \u201cNondeterministic call by need is neither lazy nor by name\u201d, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, August 1982, pages 226\u2013234.","DOI":"10.1145\/800068.802154"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"A Toni Cohen and Thomas J Myers, \u201cToward an algebra of nondeterministic programs\u201d, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, August 1982, pages 235\u2013242.","DOI":"10.1145\/800068.802155"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"M C B Hennessy and E A Ashcroft, \u201cParameter passing methods and nondeterminism\u201d, Ninth Annual ACM Symposium on the Theory of Computing, Boulder, 1977.","DOI":"10.1145\/800105.803420"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"J R Kenneway and C A R Hoare, \u201cA theory of nondeterminism\u201d, in de Bakker and Leuwen [ed], Proceedings of the 7th International Colloquium on Automata, Languages, and Programming, Springer-Verlag Lecture Notes in Computer Science 85, 1980, pages 338\u2013350.","DOI":"10.1007\/3-540-10003-2_82"},{"key":"22_CR8","unstructured":"John McCarthy, \u201cA basis for a mathematical theory of computation\u201d, in Computer Programming and Formal Systems, P Braffort and D Hirschberg [ed], North-Holland, Amsterdam, 1963, pages 33\u201370."},{"key":"22_CR9","unstructured":"David Park, \u201cOn the semantics of fair parallelism\u201d, University of Warwick Theory of Computation Report 31, October 1979."},{"issue":"3","key":"22_CR10","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G D Plotkin, \u201cA powerdomain construction\u201d, SIAM J Computing 5, 3, September 1976, pages 452\u2013487.","journal-title":"SIAM J Computing"},{"key":"22_CR11","unstructured":"Stephen A Ward, \u201cFunctional domains of applicative languages\u201d, MIT Project MAC Technical Report 136, September 1974."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:43Z","timestamp":1605625723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}