{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:26:20Z","timestamp":1759073180146},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340218"},{"type":"electronic","value":"9783540340225"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750321_54","type":"book-chapter","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T02:11:16Z","timestamp":1146708676000},"page":"566-575","source":"Crossref","is-referenced-by-count":3,"title":["The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces"],"prefix":"10.1007","author":[{"given":"Ben","family":"Cohen","sequence":"first","affiliation":[]},{"given":"Martin","family":"Escardo","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Keimel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"key":"54_CR2","volume-title":"Ergebnisse der Mathematik und iherer Grenzgebiete","author":"E.M. Alfsen","year":"1971","unstructured":"Alfsen, E.M.: Compact Convex Sets and Boundary Integrals. In: Ergebnisse der Mathematik und iherer Grenzgebiete, vol.\u00a057. Springer, Heidelberg (1971)"},{"key":"54_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2004.06.021","volume":"328","author":"M. Alvarez Manilla","year":"2004","unstructured":"Alvarez Manilla, M., Jung, A., Keimel, K.: The probabilistic powerspace for stably compact spaces. Theoretical Computer Science\u00a0328, 221\u2013244 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"54_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1070\/RM1991v046n01ABEH002722","volume":"46","author":"V.V. Fedorchuk","year":"1991","unstructured":"Fedorchuk, V.V.: Probability measures in topology. Russian Mathematical Surveys\u00a046(1), 41\u201380 (1991)","journal-title":"Russian Mathematical Surveys"},{"key":"54_CR5","volume-title":"Encyclopedia of Mathematics and its Applications","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. In: Encyclopedia of Mathematics and its Applications, vol.\u00a093, Cambridge University Press, Cambridge (2003)"},{"key":"54_CR6","unstructured":"Jones, C.: Probabilistic Non-determinism. PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh, p. 201 (1990)"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"Keimel, K.: Topological cones: Foundations for a domains theoretical sematics combining probability and nondeterminism. Electronic Notes in Theoretical Computer Science (to appear)","DOI":"10.1016\/j.entcs.2005.11.066"},{"key":"54_CR8","doi-asserted-by":"crossref","unstructured":"Keimel, K., Roth, W.: Ordered Cones and Approximation, Lecture Notes in Mathematics. vol. 1517 vi+134 Springer Verlag, (1992)","DOI":"10.1007\/BFb0089190"},{"key":"54_CR9","unstructured":"Kirch, O.: Bereiche und Bewertungen. Master\u2019s thesis, Technische Hochschule Darmstadt, 77pp. (June 1993), \n                    \n                      http:\/\/www.mathematik.tu-darmstadt.de\/ags\/ag14\/papers\/kirch\/"},{"key":"54_CR10","unstructured":"qNachbin, L.: Topology and Order. Von Nostrand, Princeton, N.J., 1965. Reprinted by Robert E. Kreiger Publishing Co., Huntington (1967)"},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: A domain-theoretic Banach-Alaoglu theorem. Mathematical Structures in Computer Science (to appear)","DOI":"10.1017\/S0960129506005172"},{"issue":"1","key":"54_CR12","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1017\/S1446788700001609","volume":"68","author":"W. Roth","year":"2000","unstructured":"Roth, W.: Hahn-Banach type theorems for locally convex cones. Journal of the Australian Mathematical Society\u00a068(1), 104\u2013125 (2000)","journal-title":"Journal of the Australian Mathematical Society"},{"key":"54_CR13","unstructured":"Schr\u00f6der, M., Simpson, A.: Probabilistic observations and valuations (Extended Abstract). In: Proceedings of MFPS 21 (2005); to appear in Electronic Notes in Theoretical Computer Science (2006)"},{"key":"54_CR14","unstructured":"Tix, R.: Stetige Bewertungen auf topologischen R\u00e4umen. Master\u2019s thesis, Technische Hochschule Darmstadt, 51pp. (June 1995), \n                    \n                      http:\/\/www.mathematik.tu-darmstadt.de\/ags\/ag14\/papers\/tix\/"},{"key":"54_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.entcs.2004.06.063","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.D.: Semantic Domains Combining Probabilty and Nondeterminism. Electronic Notes in Theoretical Computer Science\u00a0129, 1\u2013104 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750321_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:56:45Z","timestamp":1619492205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750321_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340218","9783540340225"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11750321_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}