{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:46Z","timestamp":1763468086801},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:40Z","timestamp":1330199680000},"page":"254-288","source":"Crossref","is-referenced-by-count":12,"title":["Solving reflexive domain equations in a category of complete metric spaces"],"prefix":"10.1007","author":[{"given":"Pierre","family":"America","sequence":"first","affiliation":[]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"13_CR1","series-title":"Technical Report","volume-title":"A Denotional Semantics of a Parallel Object-Oriented Language","author":"P. America","year":"1986","unstructured":"P. America, J. de Bakker, J. Kok, J. Rutten, A Denotional Semantics of a Parallel Object-Oriented Language, Technical Report (CS-R8626), Centre for Mathematics and Computer Science, Amsterdam, 1986."},{"key":"13_CR2","doi-asserted-by":"publisher","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, J.I. Zucker, Processes and the Denotational Semantics of Concurrency, Information and Control 54 (1982), pp. 70\u2013120.","journal-title":"Information and Control"},{"key":"13_CR3","unstructured":"J. Dugundji, Topology, Allen and Bacon, Rockleigh, N.J., 1966."},{"key":"13_CR4","unstructured":"R. Engelking, General Topology, Polish Scientific Publishers, 1977."},{"key":"13_CR5","unstructured":"H. Hahn, Reele Funktionen, Chelsea, New York, 1948."},{"key":"13_CR6","unstructured":"D. Lehmann, Categories for Mathematical Semantics, in: Proc. 17th IEEE Symposium on Foundations of Computer Science, 1976."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"D.S. Scott, Continuous Lattices, in: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer-Verlag, 1972, pp. 97\u2013136.","DOI":"10.1007\/BFb0073967"},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"M.B. Smyth, G.D. Plotkin, The Category-Theoretic Solution of Recursive Domain Equations, SIAM J. Comput, Vol. 11, No. 4, 1982, pp.761\u2013783.","journal-title":"SIAM J. Comput"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:57Z","timestamp":1619558337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}