{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:15:29Z","timestamp":1759637729291},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:00:57Z","timestamp":1330279257000},"page":"33-43","source":"Crossref","is-referenced-by-count":14,"title":["Towards computing distances between programs via Scott domains"],"prefix":"10.1007","author":[{"given":"Michael A.","family":"Bukatin","sequence":"first","affiliation":[]},{"given":"Joshua S.","family":"Scott","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bukatin M.A., Scott J.S. Towards Computing Distances between Programs via Domains: a Symmetric Continuous Generalized Metric for Scott Topology on Continuous Scott Domains with Countable Bases. Available via URL http:\/\/www.cs.brandeis.edu\/\u223cbukatin\/dist-new.ps.gz, December 1996.","DOI":"10.1007\/3-540-63045-7_4"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","volume":"151","author":"A. Edalat","year":"1995","unstructured":"Edalat A. Domain theory and integration. Theoretical Computer Science, 151 (1995) 163\u2013193.","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1006\/inco.1993.1039","volume":"105","author":"R. Hoofman","year":"1993","unstructured":"Hoofman R. Continuous information systems. Information and Computation, 105 (1993) 42\u201371.","journal-title":"Information and Computation"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Kopperman R.D., Flagg R.C. The asymmetric topology of computer science. In S. Brooks et al., eds., Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, 802, 544\u2013553, Springer, 1993.","DOI":"10.1007\/3-540-58027-1_26"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Kunzi H.P.A., Vajner V. Weighted quasi-metrics. In S. Andima et al., eds., Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 728, 64\u201377, New York, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44134.x"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0304-3975(95)00051-W","volume":"151","author":"S.G. Matthews","year":"1995","unstructured":"Matthews S.G. An extensional treatment of lazy data flow deadlock. Theoretical Computer Science, 151 (1995), 195\u2013205.","journal-title":"Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Matthews S.G. Partial metric topology. In S. Andima et al., eds., Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 728, 183\u2013197, New York, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44144.x"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"O'Neill S.J. Partial metrics, valuations and domain theory. In S. Andima et al., eds., Proc. 11th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 806, 304\u2013315, New York, 1997.","DOI":"10.1111\/j.1749-6632.1996.tb49177.x"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Smyth M.B. Quasi-uniformities: reconciling domains and metric spaces. In M. Main et al., eds., Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science, 298, 236\u2013253, Springer, 1988.","DOI":"10.1007\/3-540-19020-1_12"},{"key":"4_CR10","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics","author":"J.E. Stoy","year":"1977","unstructured":"Stoy J.E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977."},{"key":"4_CR11","volume-title":"Matthews Metrics","author":"S. Vickers","year":"1987","unstructured":"Vickers S. Matthews Metrics. Unpublished notes, Imperial College, UK, 1987."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:15:18Z","timestamp":1605629718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}