{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:07:28Z","timestamp":1648699648695},"reference-count":20,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3485,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1016\/s0304-3975(03)00404-3","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T07:31:32Z","timestamp":1060327892000},"page":"99-119","source":"Crossref","is-referenced-by-count":0,"title":["Measuring the probabilistic powerdomain"],"prefix":"10.1016","volume":"312","author":[{"given":"Keye","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mislove","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(03)00404-3_BIB1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0022-4049(98)00106-6","article-title":"Nuclear and trace ideals in tensor-*-categories","volume":"143","author":"Abramsky","year":"1999","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(03)00404-3_BIB2","doi-asserted-by":"crossref","unstructured":"M. Alvarez-Manilla, Measure theoretic results for continuous valuations on partially ordered spaces, Ph.D. Thesis, Imperial College, September 2000.","DOI":"10.1112\/S0024610700008681"},{"issue":"2","key":"10.1016\/S0304-3975(03)00404-3_BIB3","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1112\/S0024610700008681","article-title":"An extension result for continuous valuations","volume":"61","author":"Alvarez-Manilla","year":"2000","journal-title":"J. London Math. Soc."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","article-title":"Domain theory and integration","volume":"151","author":"Edalat","year":"1995","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB5","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1006\/inco.1996.0014","article-title":"Power domains and iterated function systems","volume":"124","author":"Edalat","year":"1996","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1017\/S0960129597002338","article-title":"When Scott is weak at the top","volume":"7","author":"Edalat","year":"1997","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0304-3975(96)00243-5","article-title":"A computational model for metric spaces","volume":"193","author":"Edalat","year":"1998","journal-title":"Theoret. Comput. Sci."},{"issue":"5","key":"10.1016\/S0304-3975(03)00404-3_BIB8","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2977\/prims\/1195178796","article-title":"Self-similar sets as Tarski's fixed points","volume":"21","author":"Hayashi","year":"1985","journal-title":"Pub. Res. Inst. Math. Sci."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB9","doi-asserted-by":"crossref","unstructured":"R. Heckmann, Spaces of valuations, Papers on General Topology and Applications: 11th Summer Conf. at the University of Southern Maine, Vol. 806, Annals of the New York Academy of Sciences, New York, 1996, pp. 174\u2013200.","DOI":"10.1111\/j.1749-6632.1996.tb49168.x"},{"key":"10.1016\/S0304-3975(03)00404-3_BIB10","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1512\/iumj.1981.30.30055","article-title":"Fractals and self-similarity","volume":"30","author":"Hutchinson","year":"1981","journal-title":"Indiana University Math. J."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB11","unstructured":"C. Jones, Probabilistic nondeterminism, Ph.D. Thesis, University of Edinburgh, 1990."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB12","unstructured":"O. Kirch, Bereiche und Bewertungen, Master's Thesis. Technicsche Hochschule Darmstadt, 1993."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB13","unstructured":"J. Lawson, Valuations on continuous lattices, in: Rudolf-Eberhard Hoffmann (Ed.), Continuous Lattices and Related Topics, Vol. 27, Mathematik Arbeitspapiere. Universit\u00e4t Bremen 1982."},{"issue":"5","key":"10.1016\/S0304-3975(03)00404-3_BIB14","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1017\/S0960129597002363","article-title":"Spaces of maximal points","volume":"7","author":"Lawson","year":"1997","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB15","unstructured":"K. Martin, A foundation for computation, Ph.D. Thesis, Department of Mathematics, Tulane University, 2000."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB16","unstructured":"K. Martin, The measurement process in domain theory, Proc. 27th Internat. Coll. on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Vol. 1853, Springer, Berlin, 2000."},{"key":"10.1016\/S0304-3975(03)00404-3_BIB17","doi-asserted-by":"crossref","unstructured":"K. Martin, Unique fixed points in domain theory, Proc. 17th Annu. Conf. on Mathematical Foundations of Programming Semantics, BRICS Notes Series, NS-01-2. May 2001.","DOI":"10.1016\/S1571-0661(04)80966-6"},{"key":"10.1016\/S0304-3975(03)00404-3_BIB18","doi-asserted-by":"crossref","unstructured":"K. Martin, M. Mislove, J. Worrell, Measuring the probabilistic powerdomain, Proc. 29th Internat. Coll. on Automata, Languages and Programming, Lecture Notes in Computer Science, Springer, Berlin, Vol. 2380, 2002.","DOI":"10.1007\/3-540-45465-9_40"},{"key":"10.1016\/S0304-3975(03)00404-3_BIB19","unstructured":"K. Martin, Fractals and domain theory, submitted. http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/keye.martin\/"},{"key":"10.1016\/S0304-3975(03)00404-3_BIB20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","article-title":"Topology, domain theory and theoretical computer science","volume":"89","author":"Mislove","year":"1998","journal-title":"Topology Appl."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397503004043?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397503004043?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T05:49:48Z","timestamp":1585115388000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397503004043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["S0304397503004043"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(03)00404-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}