{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T23:38:17Z","timestamp":1769816297950,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540580270","type":"print"},{"value":"9783540484196","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:08:15Z","timestamp":1330268895000},"page":"544-553","source":"Crossref","is-referenced-by-count":10,"title":["The asymmetric topology of computer science"],"prefix":"10.1007","author":[{"given":"R. C.","family":"Flagg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. D.","family":"Kopperman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"3","key":"26_CR1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J.J.M.M. Rutten, \u201cSolving Reflexive Domain Equations in a Category of Complete Metric Spaces\u201d, J. Comput. System. Sci., 39(3), 1989, pp. 343\u2013375.","journal-title":"J. Comput. System. Sci."},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. deBakker","year":"1982","unstructured":"J. deBakker and J. Zucker, \u201cProcesses and the Denotational Semantics of Concurrency\u201d, Information and Control, 54, 1982, pp. 70\u2013120.","journal-title":"Information and Control"},{"key":"26_CR3","unstructured":"R. C. Flagg, \u201cQuantales and Continuity Spaces\u201d, to appear in Algebra Universalis."},{"key":"26_CR4","unstructured":"Flagg, R. C. and R. Kopperman, \u201cContinuity Spaces and Continuous Lattices\u201d, preprint."},{"key":"26_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"Gierz, G., K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove and D. S. Scott, A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"C. A. Gunter, \u201dComparing Categories of Domains\u201d, in: Mathematical Foundations of Programming Semantics, ed. A. Melton, LNCS 239, Springer-Verlag, 1985, pp. 101\u2013121.","DOI":"10.1007\/3-540-16816-8_27"},{"key":"26_CR7","unstructured":"Henriksen, M., R. Kopperman, J. Mack, and D. W. B. Somerset, \u201cJoincompact Spaces, Continuous Lattices, and C*-algebras\u201d, preprint."},{"key":"26_CR8","volume-title":"General Topology","author":"J. L. Kelley","year":"1955","unstructured":"Kelley, J. L., General Topology, van Nostrand, Princeton, 1955."},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1112\/plms\/s3-13.1.71","volume":"13","author":"W. C. Kelly","year":"1963","unstructured":"Kelly, W. C., \u201cBitopological Spaces\u201d, Proc. London Math. Soc. 13 (1963), 71\u201389.","journal-title":"Proc. London Math. Soc."},{"key":"26_CR10","unstructured":"Kopperman, R., \u201cAsymmetry and Duality in Topology\u201d, preprint."},{"key":"26_CR11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1080\/00029890.1988.11971974","volume":"95","author":"R. Kopperman","year":"1988","unstructured":"Kopperman, R., \u201cAll Topologies Come From Generalized Metrics\u201d, Am. Math. Monthly 95 (1988), 89\u201397.","journal-title":"Am. Math. Monthly"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"J. D. Lawson, \u201cThe Versatile Continuous Order\u201d, in: Mathematical Foundations of Programming Language Semantics, (ed. M. Mislove), Springer-Verlag, 1989, pp. 134\u2013160.","DOI":"10.1007\/3-540-19020-1_7"},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1093\/oso\/9780198537601.003.0007","volume-title":"Topology and Category Theory in Computer Science","author":"J. D. Lawson","year":"1991","unstructured":"Lawson, J. D., \u201cOrder and strongly sober compactifications\u201d, Topology and Category Theory in Computer Science, G. M. Reed, A. W. Roscoe and R. F. Wachter, eds., Oxford University Press, Oxford, 1991, pp. 179\u2013205."},{"key":"26_CR14","unstructured":"G. D. Plotkin, \u201cPost-graduate lecture notes in advanced domain theory\u201d, Dept. of Computer Science, Univ. of Edinburgh, 1981."},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00536289","volume":"20","author":"H. Sherwood","year":"1971","unstructured":"H. Sherwood, \u201cComplete probabilistic metric spaces\u201d, Z. Wahrsch. Verw. Geb. 20, (1971), 117\u2013128.","journal-title":"Z. Wahrsch. Verw. Geb."},{"key":"26_CR16","volume-title":"Probabilistic Metric Spaces","author":"B. Schweizer","year":"1983","unstructured":"B. Schweizer and A. Sklar, Probabilistic Metric Spaces, North Holland, Amsterdam, 1983."},{"key":"26_CR17","first-page":"19","volume-title":"Proceedings of the Symposium on Computers and Automata","author":"D. Scott","year":"1971","unstructured":"D. Scott and C. Strachey, \u201cToward a mathematical semantics for computer languages\u201d, Proceedings of the Symposium on Computers and Automata, Polytechnic Institute Press, New York, 1971, 19\u201346."},{"key":"26_CR18","unstructured":"Smyth, M. B., \u201cStable Local Compactification I\u201d, J. London Math. Soc.."},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"675","DOI":"10.2307\/2371174","volume":"53","author":"W. A. Wilson","year":"1931","unstructured":"Wilson, W. A., \u201cOn Quasi-metric Spaces\u201d, Amer. J. Math. 53 (1931), 675\u2013684.","journal-title":"Amer. J. Math."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:42:21Z","timestamp":1713627741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}