{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:32Z","timestamp":1725642032748},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_16","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"236-248","source":"Crossref","is-referenced-by-count":0,"title":["Metric completion versus ideal completion"],"prefix":"10.1007","author":[{"given":"Mila E.","family":"Majster-Cederbaum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"C. Baier, M.E. Majster-Cederbaum: Denotational semantics in the cpo and metric approach, Theoretical Computer Science, Vol. 135, 1994.","DOI":"10.1016\/0304-3975(94)00046-8"},{"key":"16_CR2","volume-title":"Universit\u00e4t Mannheim","author":"C Baier","year":"1994","unstructured":"2]C. Baier, M.E. Majster-Cederbaum: Construction of a cms on a given cpo, Techn. Report 11\/94, Universit\u00e4t Mannheim, 1994."},{"key":"16_CR3","unstructured":"C. Baier, M.E. Majster-Cederbaum: The connection between initial and unique solutions of domain equations in the partial order and metric approach, in print."},{"issue":"2","key":"16_CR4","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"1","author":"JW Bakker de","year":"1982","unstructured":"J.W. de Bakker, J.I.Zucker: Processes and the Denotational Semantics of Concurrency, Information and Control, Vol.54, No. 1 \/2, pp 70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"16_CR5","volume-title":"Metric approximations in ordered domains","author":"G Comyn","year":"1985","unstructured":"G. Comyn, M. Dauchet: Metric approximations in ordered domains, Algebraic Methods in Semantics, Cambridge University Press, 1985."},{"key":"16_CR6","volume-title":"Springer-Verlag","author":"G Gierz","year":"1980","unstructured":"G. Gierz, H. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott: A Compendium of Continuous Lattices, Springer-Verlag, 1980."},{"key":"16_CR7","volume-title":"Kuratowski","author":"K Kuratowski","year":"1966","unstructured":"K. Kuratowski: Toplogy, Academic Press, 1966."},{"key":"16_CR8","volume-title":"University of Leicester","author":"MZ Kwiatkowska","year":"1991","unstructured":"M.Z. Kwiatkowska: On three constructions of infinite traces, Techn. Report No. CSD-48, University of Leicester, 1991."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"M. Majster-Cederbaum, F. Zetzsche: The comparison of a cpo-based with a cms-based semantics for CSP, Theoretical Computer Science, Vol. 124, 1994.","DOI":"10.1016\/0304-3975(94)90052-3"},{"key":"16_CR10","volume-title":"University of Warwick","author":"S Matthews","year":"1992","unstructured":"S. Matthews: The Cycle Contracting Mapping Theorem, Research Report 228, Department of Computer Science, University of Warwick, 1992."},{"key":"16_CR11","first-page":"354","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science","author":"A Mazurkiewicz","year":"1989","unstructured":"11]A. Mazurkiewicz: Basic notions of trace theory, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, 1989."},{"key":"16_CR12","volume-title":"Milner","author":"R Milner","year":"1989","unstructured":"R. Milner: Communication and Concurrency, Prentice Hall, 1989."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"M.B. Smyth: Quasi-uniformities: Reconciling Domains with Metric Spaces, Proc. of the Third Workshop on the Mathematical Foundations of Pragramming Language Semantics, Lecture Notes in Computer Science 298, 1988.","DOI":"10.1007\/3-540-19020-1_12"},{"key":"16_CR14","volume-title":"Metric spaces defined by weighted algebraic cpos, Fundamentals of Computation Theory, FCT 79, Proceedings of the Conference on Algebraic","author":"K Weihrauch","year":"1979","unstructured":"K. Weihrauch, U. Schreiber: Metric spaces defined by weighted algebraic cpo\u2019s, Fundamentals of Computation Theory, FCT \u201879, Proceedings of the Conference on Algebraic, Arithmetric, and Categorial Methods in Computation Theory, Akademie-Verlag, 1979."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"G. Winskel: Event Structure Semantics for CCS and Related Languages, Proc. ICALP 82, Lecture Notes in Computer Science 140, Springer-Verlag, pp 561\u2013576, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"G. Winskel: Synchronisation trees, Theoretical Computer Science, Vol. 34, 1984.","DOI":"10.1016\/0304-3975(84)90112-9"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:17:38Z","timestamp":1561058258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_16","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}