{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T20:12:47Z","timestamp":1770322367824,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540100034","type":"print"},{"value":"9783540393467","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_82","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:59:54Z","timestamp":1330171194000},"page":"338-350","source":"Crossref","is-referenced-by-count":12,"title":["A theory of nondeterminism"],"prefix":"10.1007","author":[{"given":"J. R.","family":"Kennaway","sequence":"first","affiliation":[]},{"given":"C. A. R.","family":"Hoare","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"29_CR1","unstructured":"Bell, J.L. and Slomson, A.B., \"Models and ultraproducts\" (North-Holland, 1969)."},{"key":"29_CR2","unstructured":"Milne, R.E. and Strachey, C., \"A theory of programming language semantics\", (Chapman & Hall, 1976)."},{"key":"29_CR3","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D., \"Data types as lattices\", SIAM J. Computing 5, 522\u2013587 (1976).","journal-title":"SIAM J. Computing"},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. J. Smyth","year":"1978","unstructured":"Smyth, M.J., \"Powerdomains\", J. Computer System Science 16, 23\u201336 (1978).","journal-title":"J. Computer System Science"},{"key":"29_CR5","unstructured":"Stoy, J.E., \"Denotational Semantics\", (M.I.T., 1977)."},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A., \"A lattice-theoretical fixpoint theorem and its applications\", Pacific J. Math. 5, 285\u2013309, (1955).","journal-title":"Pacific J. Math."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:33:12Z","timestamp":1619541192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}