{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T11:20:36Z","timestamp":1768735236909,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540190202","type":"print"},{"value":"9783540389200","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:52Z","timestamp":1330199692000},"page":"236-253","source":"Crossref","is-referenced-by-count":42,"title":["Quasi-uniformities: Reconciling domains with metric spaces"],"prefix":"10.1007","author":[{"given":"M. B.","family":"Smyth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9939-1977-0482620-9","volume":"66","author":"G. Berthiaume","year":"1977","unstructured":"G. Berthiaume, On quasi-uniformities in hyperspaces, Proc. Am. Math. Soc. 66 (1977), 335\u2013342.","journal-title":"Proc. Am. Math. Soc."},{"key":"12_CR2","unstructured":"N. Bourbaki, Elements of Mathematics. General Topology; Part 1 Addison-Wesley 1966."},{"key":"12_CR3","unstructured":"A.Csaszar, Foundationsof General Topology, Pergamon 1963."},{"key":"12_CR4","unstructured":"P.Fletcher, W.Lindgren, Quasi-uniform Spaces, Marcel Dekker 1982."},{"key":"12_CR5","first-page":"261","volume":"88","author":"M. Hennessy","year":"1980","unstructured":"M. Hennessy, G. Plotkin, A term model for CCS, Proc. 9th MFCS, LNCS 88 (1980), 261\u2013274.","journal-title":"Proc. 9th MFCS, LNCS"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"G.Gierz et al., A Compendium of Continuous Lattices, Springer 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"XLIII","author":"F. Lawvere","year":"1973","unstructured":"F. Lawvere, Metric spaces, generalized logic, and closed categories Rend. del Sem. Mat. e Fis. di Milano XLIII (1973), 135\u2013166.","journal-title":"Rend. del Sem. Mat. e Fis. di Milano"},{"key":"12_CR8","first-page":"101","volume":"15","author":"N. Levine","year":"1971","unstructured":"N. Levine, W. Stager, On the hyperspace of a quasi-uniform space, Math. J. Okayama Univ. 15 (1971\u20132), 101\u2013106.","journal-title":"Math. J. Okayama Univ."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"A.Melton, D.Schmidt, A topological framework for cpo's lacking bottom elements, Unpublished memo (1985).","DOI":"10.1007\/3-540-16816-8_33"},{"key":"12_CR10","first-page":"25","volume":"112","author":"R. Milner","year":"1981","unstructured":"R. Milner, A modal characterization of observable machine behaviour CAAP '81, LNCS 112 (1981), 25\u201334.","journal-title":"LNCS"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"R.Milner, A Calculus of Communicating Sequences, Springer LNCS 92 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"12_CR12","unstructured":"G.Plotkin, Lecture Notes on Domain Theory (Edinburgh: unpublished)"},{"key":"12_CR13","first-page":"577","volume":"140","author":"D. Scott","year":"1982","unstructured":"D. Scott, Domains for denotational semantics, ICALP '82, LNCS 140 (1982), 577\u2013613.","journal-title":"LNCS"},{"key":"12_CR14","first-page":"662","volume":"154","author":"M. Smyth","year":"1983","unstructured":"M. Smyth, Power domains and predicate transformers, ICALP '83, LNCS 154 (1983), 662\u2013675.","journal-title":"LNCS"},{"key":"12_CR15","first-page":"225","volume":"240","author":"M. Smyth","year":"1986","unstructured":"M. Smyth, Finite approximation of spaces, Category Theory and Computer Programming, ed. D.Pitt et al., LNCS 240 (1986), 225\u2013241.","journal-title":"LNCS"},{"key":"12_CR16","unstructured":"M.Smyth, Quasi-uniformities as a unifying theme, Unpublished ms., 1986."},{"key":"12_CR17","first-page":"299","volume":"85","author":"M. Hennessy","year":"1980","unstructured":"M. Hennessy, R. Milner, On observing nondeterminism and concurrency ICALP '80, LNCS 85 (1980), 299\u2013309.","journal-title":"LNCS"}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:01Z","timestamp":1605644161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}