{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T20:07:59Z","timestamp":1767902879673,"version":"3.49.0"},"reference-count":12,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6784,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/s1571-0661(04)80010-0","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"182-198","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces"],"prefix":"10.1016","volume":"1","author":[{"given":"Bob","family":"Flagg","sequence":"first","affiliation":[]},{"given":"Ralph","family":"Kopperman","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB1","unstructured":"S. Abramsky and A. Jung, Domain Theory, in: Abramsky et. al., editors, Handbook of Logic in Computer Science, Vol. III, Oxford University Press, to appear."},{"issue":"3","key":"10.1016\/S1571-0661(04)80010-0_NEWBIB2","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","article-title":"Solving Reflexive Domain Equations in a Category of Complete Metric Spaces","volume":"39","author":"America","year":"1989","journal-title":"J. Comput. System. Sci"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB3","doi-asserted-by":"crossref","unstructured":"F. C. van Breugel, Three Metric Domains for Process Bisimulation, in: S. Brookes et. al., editors, Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, Volume 802 of Lecture Notes in Computer Science, 1992, pp 103\u2013121.","DOI":"10.1007\/3-540-58027-1_5"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB4","unstructured":"R. C. Flagg and R. Kopperman, Continuity Spaces: Reconciling Domains and Metric Spaces, submitted to: The Journal of Theoretical Computer Science."},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB5","series-title":"A Compendium of Continuous Lattices","author":"Gierz","year":"1980"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","article-title":"Metric Spaces, Generalized Logic, & Closed Categories","volume":"43","author":"Lawvere","year":"1973","journal-title":"Rend. Sem. Mat. e. Fisico di Milano"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of Computation and Monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB8","series-title":"Topology and Category Theory in Computer Science","first-page":"1","article-title":"Topology, computer science, and the mathematics of convergence","author":"Roscoe","year":"1991"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00536289","article-title":"Complete Probabilistic Metric Spaces","volume":"20","author":"Sherwood","year":"1966","journal-title":"Z. Wahrsch. Verw. Geb"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB10","series-title":"Third Workshop on Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science","article-title":"Quasi-Uniformities: Reconciling Domains with Metric Spaces","author":"Smyth","year":"1987"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB11","first-page":"641","article-title":"Topology","volume":"Vol. I","author":"Smyth","year":"1992"},{"key":"10.1016\/S1571-0661(04)80010-0_NEWBIB12","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","article-title":"The category-theoretic solution of recursive domain equations","volume":"11","author":"Smyth","year":"1982","journal-title":"SIAM Journal of Computing"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800100?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800100?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:03:16Z","timestamp":1761609796000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":12,"alternative-id":["S1571066104800100"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80010-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80010-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}