{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:09Z","timestamp":1763468049528},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:48Z","timestamp":1330199688000},"page":"213-233","source":"Crossref","is-referenced-by-count":7,"title":["Closure properties of a probabilistic domain construction"],"prefix":"10.1007","author":[{"given":"Steven K.","family":"Graham","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., and Goguen, J.A., Algebras, Theories and Freeness: An Introduction for Computer Scientists, in Theoretical Foundations of Programming Methodology, ed. by Broy and Schmidt, D. Reidel, 1982, 329\u2013348.","DOI":"10.1007\/978-94-009-7893-5_11"},{"key":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages","author":"M. J. C. C. Gordon","year":"1979","unstructured":"Gordon, M. J. C., The Denotational Description of Programming Languages, Springer-Verlag, New York, 1979."},{"key":"11_CR3","volume-title":"Measure Theory","author":"P. R. Halmos","year":"1965","unstructured":"Halmos, P.R., Measure Theory, Van Nostrand, New York, 1965."},{"key":"11_CR4","unstructured":"Kamimura, T. and Tang, A. Finitely Continuous Posets, University of Kansas, Dept. of Computer Science, TR-84-1, 1984."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Kamimura, T. and Tang, A. Retracts of SFP objects, in Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 239, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16816-8_29"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Kamimura, T. and Tang, A. Retracts of SFP objects-projective limits, solving domain equations, Workshop on Mathematical Foundations of Programming Semantics, Manhattan, Kansas, 1986.","DOI":"10.1007\/3-540-16816-8_29"},{"key":"11_CR7","unstructured":"Kamimura, T. and Tang, A., Domains as Finitely Continuous CPOs, (to be presented) 3rd Workshop on Mathematical Foundations of Programming Semantics, New Orleans, 1987."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D. Kozen","year":"1981","unstructured":"Kozen, D. Semantics of probabilistic programs, Journal of Computer and System Sciences 22 (1981), 328\u2013350.","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Main, M. G., Free Constructions of Powerdomains, in Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 239, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16816-8_31"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin, Gordon, A Powerdomain Construction, SIAM Journal of Computing, Vol. 5, No. 3, September 1976, 452\u2013487.","journal-title":"SIAM Journal of Computing"},{"key":"11_CR11","unstructured":"Rabin, M. Probabilistic Algorithms, in Algorithms and Complexity, Academic Press, 1976, 21\u201340."},{"key":"11_CR12","volume-title":"Real Analysis","author":"H. L. Royden","year":"1964","unstructured":"Royden, H.L., Real Analysis, MacMillan, New York, 1964."},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0304-3975(80)90003-1","volume":"12","author":"N. Saheb-Djahromi","year":"1980","unstructured":"Saheb-Djahromi, N. CPO's of measures for nondeterminism, Theoretical Computer Science, 12 (1980), 19\u201337.","journal-title":"Theoretical Computer Science"},{"key":"11_CR14","unstructured":"Schmidt, D. A., Denotational Semantics, Allyn and Bacon, Inc., 1986."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. B. Smyth","year":"1977","unstructured":"Smyth, M.B., Effectively Giyen Domains, Theoretical Computer Science, 5 (1977), 257\u2013274.","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"11_CR16","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"Tennent, R. D., The Denotational Semantics of Programming Languages, Communications of the ACM, Vol. 19, No. 8, Aug. 1976, 437\u2013453.","journal-title":"Communications of the ACM"},{"key":"11_CR17","unstructured":"Yemini, Y. and Kurose, J.F. Towards the unification of the functional and performance analysis of protocols or, is the alternating-bit protocol really correct?, in Protocol, Specification, Testing, and Verification, North-Holland, 1982, 189\u2013196."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:00Z","timestamp":1605644160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}