{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298814},"publisher-location":"Berlin, Heidelberg","reference-count":25,"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_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:55:53Z","timestamp":1330181753000},"page":"173-199","source":"Crossref","is-referenced-by-count":2,"title":["The metric closure powerspace construction"],"prefix":"10.1007","author":[{"given":"Robert E.","family":"Kent","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-0000(79)90026-6","volume":"19","author":"J. Adamek","year":"1979","unstructured":"J. Adamek and V. Koubek, Least Fixed Point of a Functor, J. Comput. System Sci. 19 (1979) 163.","journal-title":"J. Comput. System Sci."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0019-9958(82)80026-0","volume":"52","author":"M. A. Arbib","year":"1982","unstructured":"M.A. Arbib and E.G. Manes, Parameterized Data Types Do Not Need Highly Constrained Parameters, Info. and Contr. 52 (1982) 139\u2013158.","journal-title":"Info. and Contr."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"S. Bernow and P. Raskin, Ecology of Scientific Consciousness, Telos 28, Summer (1976).","DOI":"10.3817\/0676028125"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. DeBakker","year":"1982","unstructured":"J.W. DeBakker and J.I. Zucker, Processes and the Denotational Semantics of Concurrency, Info. and Contr. 54 (1982) 70\u2013120.","journal-title":"Info. and Contr."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"W. Golson and W. Rounds, Connections between Two Theories of Concurrency: Metric Spaces and Synchronization Trees, Tech. Rep. TR-3-83, Computing Research Laboratory, University of Michigan, 1983.","DOI":"10.1016\/S0019-9958(83)80039-4"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"J. Gray, Fibred and Cofibred Categories, Conference on Categorical Algebra (1965).","DOI":"10.1007\/978-3-642-99902-4_2"},{"key":"9_CR7","unstructured":"R.E. Kent, Observational Equivalence of Concurrent Processes is the Kernel of a Multiplicity Morphism of Abstract Tree Data Types, International Computer Symposium 1984, Taipei, Taiwan (1984)."},{"key":"9_CR8","unstructured":"R.E. Kent, The Metric Powerspace Construction, Tech. Rep. UIC-EECS-84-14, EECS Dept., University of Illinois at Chicago, 1984."},{"key":"9_CR9","unstructured":"R.E. Kent, Synchronization Trees and Milner's Strong Congruence: a Fixpoint Approach, Tech. Rep. UIC-EECS-85-5, EECS Dept., University of Illinois at Chicago, 1985."},{"key":"9_CR10","unstructured":"R.E. Kent, Dialectical Systems: Interactions and Combinations, manuscript (1986)."},{"key":"9_CR11","unstructured":"R.E. Kent, Dialectical Development in First Order Logic: I. Relational Database Semantics (1987), submitted for publication."},{"key":"9_CR12","volume-title":"Topology, Vol.1","author":"K. Kuratowski","year":"1966","unstructured":"K. Kuratowski, Topology, Vol.1, (Academic Press, New York, N.Y., 1966)."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F. W. Lawvere","year":"1973","unstructured":"F.W. Lawvere, Metric Spaces, Generalized Logic, and Closed Categories, Seminario Matematico E. Fisico. Rendiconti. Milan. 43 (1973) 135\u2013166.","journal-title":"Seminario Matematico E. Fisico. Rendiconti. Milan."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D. J. Lehmann","year":"1981","unstructured":"D.J. Lehmann and M.B. Smyth, Algebraic Specification of Data Types: A Synthetic Approach, Math. Systems Theory 14 (1981) 97\u2013139.","journal-title":"Math. Systems Theory"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"M.G. Main, Free Constructions of Powerdomains, in: Proceedings of the Conference on Mathematical Foundations of Programming Language Semantics, Lec. Notes in Comp. Sci. 239, (Springer-Verlag, New York).","DOI":"10.1007\/3-540-16816-8_31"},{"key":"9_CR16","unstructured":"M.G. Main, Semiring Module Powerdomains, Tech. Rep. CU-CS-286-84, Department of Computer Science, University of Colorado at Boulder, 1984."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"H. Marcuse, Zum Problem der Dialektik, Die Gesellschaft, Volume VII (1930\u201331); On the Problem of the Dialectic, Telos 27, Spring (1976).","DOI":"10.3817\/0376027012"},{"key":"9_CR18","series-title":"Lec. Notes in Comp. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner, A Calculus of Communicating Systems, Lec. Notes in Comp. Sci. 92, (Springer-Verlag, New York, 1980)."},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner, Calculi for Synchrony and Asynchrony, Theo. Comp. Sci. 25 (1983) 267\u2013310.","journal-title":"Theo. Comp. Sci."},{"key":"9_CR20","first-page":"1","volume":"109","author":"M. Nivat","year":"1979","unstructured":"M. Nivat, Infinite Words, Infinite Trees, Infinite Computations, Mathematical Centre Tracts 109 (1979) 1\u201352.","journal-title":"Mathematical Centre Tracts"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G.D. Plotkin, A Powerdomain Construction, SIAM J. Comput. 5 (1976) 452\u2013487.","journal-title":"SIAM J. Comput."},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1093\/mind\/XLIX.194.403","volume":"49","author":"K. Popper","year":"1940","unstructured":"K. Popper, What is Dialectic?, Mind 49 (1940) 403\u2013426.","journal-title":"Mind"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. B. Smyth","year":"1978","unstructured":"M.B. Smyth, Power Domains, J. Comput. System Sci. 16 (1978) 23\u201336.","journal-title":"J. Comput. System Sci."},{"key":"9_CR24","series-title":"Lec. Notes in Comp. Sci.","volume-title":"Power Domains and Predicate Transformers: a Topological View","author":"M. B. Smyth","year":"1983","unstructured":"M.B. Smyth, Power Domains and Predicate Transformers: a Topological View, 10th ICALP, Barcelona, Spain, Lec. Notes in Comp. Sci. 154, (Springer-Verlag, New York, 1983)."},{"key":"9_CR25","unstructured":"M. Steenstrup, M.A. Arbib and E. Manes, Port Automata and the Algebra of Concurrent Processes, COINS Tech. Rep. 81-25, University of Massuchusetts, 1981."}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:08Z","timestamp":1605626168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}