{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:23:18Z","timestamp":1759638198164},"reference-count":27,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)80769-2","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"105-121","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Norm-weightable Riesz Spaces and the Dual Complexity Space"],"prefix":"10.1016","volume":"74","author":[{"given":"M","family":"O'Keeffe","sequence":"first","affiliation":[]},{"given":"S.","family":"Romaguera","sequence":"additional","affiliation":[]},{"given":"M.","family":"Schellekens","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB1","volume":"25","author":"Birkhoff","year":"1984"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB2","article-title":"El\u00e9ments de Math\u00e9matique XIII","author":"Bourbaki","year":"1952","journal-title":"Int\u00e9gration (Livre VI, Chapitre III)"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB3","series-title":"Logical Foundations of Computer Science","first-page":"33","article-title":"Towards computing distances between programs via Scott domains","author":"Bukatin","year":"1997"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB4","series-title":"Foundations of software Science and Computation Structures","first-page":"125","article-title":"Partial metrics and Co-continuous Valuations","author":"Bukatin","year":"1998"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB5","series-title":"Quasi-Uniform Spaces","author":"Fletcher","year":"1982"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB6","series-title":"A compendium of continuous lattices","author":"Gierz","year":"1980"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB7","series-title":"LICS '89","first-page":"186","article-title":"A probabilities powerdomain of evaluations","author":"Jones","year":"1989"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB8","unstructured":"C. Jones, Probabilistic Non-determinism, PhD-thesis, University of Edinburgh, 1989."},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB9","series-title":"Ordered Cones and Approximation","author":"Keimel","year":"1992"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB10","unstructured":"H. P. K\u00fcnzi, Nonsymmetric topology, in: Proc. Szeksz\u00e1rd Conference, Bolyai Soc. Math. Studies 4, 303\u2013338, 1993."},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB11","doi-asserted-by":"crossref","unstructured":"H. P. K\u00fcnzi, V. Vajner, Weighted quasi-metrics, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., 728, 64\u201377, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44134.x"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB12","series-title":"Continuous Lattices and RElated Topics","article-title":"Valuations on continuous lattices","author":"Lawson","year":"1995"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB13","doi-asserted-by":"crossref","unstructured":"S. G. Matthews, Partial metric topology, in: Proc. 8th Summer conference on General Topology and Applications. Ann. New York Acad. Sci. 728, 183\u2013197, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44144.x"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB14","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0304-3975(95)00051-W","article-title":"An extensional treatment of lazy data flow deadlock","volume":"151","author":"Matthews","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB15","doi-asserted-by":"crossref","unstructured":"S. J. O'Neill, Partial metrics, valuations and domain theory. In S. Andima et al., eds., Proc. 11th summer Conference on General Topology and Applications, Annals New York Academy of Sciences, 806, 304\u2013315, New York, 1997.","DOI":"10.1111\/j.1749-6632.1996.tb49177.x"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB16","unstructured":"G. Plotkin, Domains. University of Edinburgh, 1983."},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB17","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0166-8641(98)00102-3","article-title":"Quasi-metric properties of Complexity Spaces","volume":"98","author":"Romaguera","year":"1999","journal-title":"Topology and its Aplications"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.4995\/agt.2002.2116","article-title":"Duality and quasi-normability for complexity spaces","volume":"3","author":"Romaguera","year":"2002","journal-title":"Appl. Gen. Topology"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB19","doi-asserted-by":"crossref","unstructured":"M. P. Schellekens, The Smyth Completion: A Common Foundation for Denotational Semantics and Complexity Analysis, in: proc. MFPS 11, Electronic Notes in theoretical Computer Science, Vol. I, Elsevier, 211\u2013232, 1995.","DOI":"10.1016\/S1571-0661(04)00029-5"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB20","doi-asserted-by":"crossref","unstructured":"M. P. Schellekens, On upper weightable spaces, In: Proc. 11th Summer Conferenceon General Topology and Applications. Ann. New York Acad. Sci. 806, 348\u2013363, 1996.","DOI":"10.1111\/j.1749-6632.1996.tb49180.x"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB21","unstructured":"M. P. Schellekens, Complexity Spaces: Lifting & Directedness, Topology Proceedings 22, 403\u2013425, 1999."},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB22","doi-asserted-by":"crossref","unstructured":"M. P. Schellekens, The correspondence between partial metrics and semivaluations, Theoretical Computer Science, accepted for publication, to appear.","DOI":"10.1016\/j.tcs.2003.11.016"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB23","doi-asserted-by":"crossref","unstructured":"M. P. Schellekens, A characterization of partial metrizability, Domains are quantifiable, Theoretical Computer Science, accepted for publication, to appear.","DOI":"10.1016\/S0304-3975(02)00705-3"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB24","series-title":"Topology and Category Theory in Computer Science","first-page":"207","article-title":"Totally bounded spaces and compact ordered spaces as domians of computation","author":"Smyth","year":"1991"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB25","series-title":"Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics","year":"1990"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB26","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01764134","article-title":"Uniform Lattices I: A generalization of topological Riesz spaces and topological Boolean Rings","volume":"160","author":"Weber","year":"1991","journal-title":"Ann. Mat. Pura Appl"},{"key":"10.1016\/S1571-0661(04)80769-2_NEWBIB27","unstructured":"H. Weber, Uniform lattices and modular functions, preprint. Departiment of Computer Science national University of Ireland, Cork, University College Cork Western Road cork Ireland E-mail: okeeffem@student.cs.ucc.ie Escuela de Caminos, Departamento de Matem\u00e1tica Applicada, Universidad Polit\u00e9cnica de Valencia, Apartado 22012, 46071 Valencia, Spain. E-mail: sromague@mat.upv.es Department of Computer Science National University of Ireland, Cork, University College Cork Western Road Cork Ireland E-mail: m.schellekens@cs.ucc.ie"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807692?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807692?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T03:12:29Z","timestamp":1585883549000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807692"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":27,"alternative-id":["S1571066104807692"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80769-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}