{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:43Z","timestamp":1761610123329,"version":"build-2065373602"},"reference-count":14,"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)00001-5","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T05:14:39Z","timestamp":1075353279000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Solutions of Functorial and Non-Functorial Metric Domain Equations"],"prefix":"10.1016","volume":"1","author":[{"given":"F.","family":"Alessi","sequence":"first","affiliation":[]},{"given":"P.","family":"Baldan","sequence":"additional","affiliation":[]},{"given":"G.","family":"Bell\u00e8","sequence":"additional","affiliation":[]},{"given":"J.J.M.M.","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB1","unstructured":"F. Alessi, P. Baldan, and G. Bell\u00e8. A fixed point theorem in a category of compact metric spaces. To appear in TCS."},{"issue":"2","key":"10.1016\/S1571-0661(04)00001-5_NEWBIB2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(80)90045-6","article-title":"Metric interpretations of infinite trees and semantics of nondeterministic recursive programs","volume":"11","author":"Arnold","year":"1980","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB3","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":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB4","unstructured":"F. van Breugel and J. H. A. Warmerdam. Solving domain equations in a category of compact spaces. Report CS-R9424, CWI, Amsterdam, April 1994."},{"issue":"1\/2","key":"10.1016\/S1571-0661(04)00001-5_NEWBIB5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","article-title":"Processes and the denotational semantics of concurrency","volume":"54","author":"de Bakker","year":"1982","journal-title":"Information and Control"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB6","unstructured":"B. Flagg and R. Kopperman. Continuity spaces: reconciling domains and metric spaces. To appear, 1995."},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Forti, F. Honsell, M. Lenisa: Processes and Hyperuniverses. Proceedings of the 19th Symposium on Mathematical Foundations of Computer Science 1994, 841 LNCS, pages 352\u2013361, Kosice, Slovakia, 1994, Springer-Verlag.","DOI":"10.1007\/3-540-58338-6_82"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB8","unstructured":"R. E. Kent. The metric closure powerspace construction. In M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, 298 of Lecture Notes in Computer Science, pages 173\u2013199, New Orleans, April 1987. Springer-Verlag."},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","article-title":"Metric spaces, generalized logic, and closed categories","volume":"43","author":"Lawvere","year":"1973","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"issue":"1","key":"10.1016\/S1571-0661(04)00001-5_NEWBIB10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0020-0190(89)90181-6","article-title":"The contraction property is sufficient to guarantee the uniqueness of fixed points in a category of complete metric spaces","volume":"33","author":"Majster-Cederbaum","year":"1989","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"J. J. M. M. Rutten and D. Turi On the foundations of final semantics: non-standard sets, metric spaces, partial orders. In J. W. de Bakker, W.- P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop on Semantics: Foundations and Applications, volume, 666 of Lecture Notes in Computer Science, pages 477\u2013530, Beekbergen, June 1992. Springer-Verlag. FTP-available at ftp.cwi.nl as pub\/CWIreports\/AP\/CS-R9241.ps.Z.","DOI":"10.1007\/3-540-56596-5_45"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB12","unstructured":"J. J. M. M. Rutten. Elements of generalized ultrametric domain theory. Report CS-R9507, CWI, Amsterdam, 1995. FTP-available at ftp.cwi.nl as pub\/CWIreports\/AP\/CS-R9507.ps.Z."},{"issue":"4","key":"10.1016\/S1571-0661(04)00001-5_NEWBIB13","first-page":"761","article-title":"The category-theoretic solution of recursive domain equations. SIAM","volume":"11","author":"Smyth","year":"1982","journal-title":"Journal of Computation"},{"key":"10.1016\/S1571-0661(04)00001-5_NEWBIB14","unstructured":"K. R. Wagner. Solving recursive domain equations with enriched categories. PhD thesis, Carnegie Mellon University, Pittsburgh, July 1994. Technical report CMU-CS-94-159."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000015?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000015?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:48Z","timestamp":1761609828000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":14,"alternative-id":["S1571066104000015"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00001-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Solutions of Functorial and Non-Functorial Metric Domain Equations","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)00001-5","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"}]}}