{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:21Z","timestamp":1725663681818},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565963"},{"type":"electronic","value":"9783540475958"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56596-5_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:18:43Z","timestamp":1330255123000},"page":"154-173","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Compact metric information systems"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]},{"given":"Michael B.","family":"Smyth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","first-page":"233","volume":"36","author":"S. Abramsky","year":"1988","unstructured":"S. Abramsky. A Cooks tour of the finitary non-well founded sets (abstract). EATCS Bulletin, 36:233\u2013234, 1988.","journal-title":"EATCS Bulletin"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"P. America and J. Rutten. Solving reflexive domain equations in a category of complete metric spaces. In 3rd workshop on mathematical foundations of programming language semantics, volume 298 of Lecture Notes in Computer Science, pages 254\u2013288. Springer Verlag, 1988.","DOI":"10.1007\/3-540-19020-1_13"},{"key":"8_CR3","volume-title":"Technical report, Report of Ecole Nationale Superieure des Mines de Paris","author":"G. Berry","year":"1981","unstructured":"G. Berry and P.-L. Curien. Sequential algorithms on concrete data structures. Technical report, Report of Ecole Nationale Superieure des Mines de Paris, Centre de Mathematiques Appliqu\u00e9es, Sophia Antipolis, 1981."},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"830","DOI":"10.4153\/CJM-1989-038-0","volume":"41","author":"B. Banaschewski","year":"1989","unstructured":"B. Banaschewski and A. Pultr. Cauchy points of metric locales. Can. J. Math., 41:830\u2013854, 1989.","journal-title":"Can. J. Math."},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker de","year":"1982","unstructured":"J. W. de Bakker and J. Zucker. Processes and the denotational semantics of concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"8_CR6","unstructured":"A. Edalat and M. B. Smyth. Categories of information systems. In D. H. Pitt, P. L. Curien, S. Abramsky, A. M. Pitts, A. Poigne, and D. E. Rydeheard, editors, Category theory in computer science, pages 37\u201352. Springer-Verlag, 1991."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"A. Edalat and M. B. Smyth. I-categories as a framework for solving domain equations. Theoretical Computer Science, 1992. to appear.","DOI":"10.1016\/0304-3975(93)90056-Y"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0890-5401(91)90005-M","volume":"90","author":"M. E. Majster-Cederbaum","year":"1991","unstructured":"M. E. Majster-Cederbaum and F. Zetzsche. Towards a foundation for semantics in complete metric spaces. Information and Computation, 90:217\u2013243, 1991.","journal-title":"Information and Computation"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E. Michael","year":"1951","unstructured":"E. Michael. Topologies on spaces of subsets. Trans. Amer. Math. Soc, 71:152\u201382, 1951.","journal-title":"Trans. Amer. Math. Soc"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science 140","volume-title":"Automata, Languages and Programming: Proceedings 1982","author":"D. S. Scott","year":"1982","unstructured":"D. S. Scott. Domains for denotational semantics. In M. Nielson and E. M. Schmidt, editors, Automata, Languages and Programming: Proceedings 1982. Springer-Verlag, Berlin, 1982. Lecture Notes in Computer Science 140."},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. B. Smyth","year":"1977","unstructured":"M. B. Smyth. Effectively given domains. Theoretical Computer Science, 5:257\u2013274, 1977.","journal-title":"Theoretical Computer Science"},{"key":"8_CR12","unstructured":"M. B. Smyth. Completeness of quasi-uniform and syntopological spaces. Journal of London Mathematical Society, 1992. to appear."}],"container-title":["Lecture Notes in Computer Science","Semantics: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56596-5_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:31:58Z","timestamp":1578526318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56596-5_33"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565963","9783540475958"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-56596-5_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}