{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:30Z","timestamp":1725663270431},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540126898"},{"type":"electronic","value":"9783540386827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12689-9_127","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:53:34Z","timestamp":1330174414000},"page":"465-474","source":"Crossref","is-referenced-by-count":0,"title":["Metrical and ordered properties of powerdomains"],"prefix":"10.1007","author":[{"given":"S.","family":"Tison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dauchet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Comyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"39_CR1","first-page":"445","volume":"III-4","author":"A. Arnold","year":"1980","unstructured":"A. ARNOLD, M. NIVAT THE METRIC SPACE OF INFINITE TREES; ALGEBRAIC AND TOPOLOGICAL PROPERTIES Annales societatis mathematicae polonae Series IV: Fundamenta Informaticae III-4, 1980, pp. 445\u2013476","journal-title":"Annales societatis mathematicae polonae Series IV: Fundamenta Informaticae"},{"issue":"4","key":"39_CR2","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1137\/0209052","volume":"9","author":"S.L. Bloom","year":"1980","unstructured":"S.L. BLOOM, R. TINDELL COMPATIBLE ORDERINGS ON THE METRIC THEORY OF TREES SIAM J. of Computing, Nov. 1980, vol. 9, no 4, pp. 683\u2013691","journal-title":"SIAM J. of Computing"},{"key":"39_CR3","first-page":"285","volume":"20","author":"L. Boasson","year":"1980","unstructured":"L. BOASSON, M. NIVAT ADHERENCES OF LANGUAGES JCSS 20, 1980, pp. 285\u2013309","journal-title":"JCSS"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"G. COMYN, M. DAUCHET APPROXIMATIONS OF INFINITARY OBJECTS Ninth Colloquium ICALP, Lectures Notes in Computer Science, Springer Verlag, no 140, pp. 116\u2013127","DOI":"10.1007\/BFb0012762"},{"key":"39_CR5","unstructured":"G. COMYN OBJETS INFINIS CALCULABLES Th\u00e8se d'Etat, LILLE, Mars 1982"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"G. GIERZ, K.H. HOFMANN, K. KEIMEL, J.D. LAWSON, M. MISLOVE, D. SCOTT A COMPENDIUM OF CONTINUOUS LATTICES Springer Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"F. GIRE UNE EXTENSION AUX MOTS INFINIS DE LA NOTION DE TRANSDUCTION RATIONNELLE Colloquium G.I., 1982, pp. 123\u2013139","DOI":"10.1007\/BFb0036475"},{"key":"39_CR8","first-page":"68","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. GOGUEN, J. THATCHER, E. WAGNER, J. WRIGHT INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS J.A.C.M., Vol. 24, 1977, pp. 68\u201395","journal-title":"J.A.C.M."},{"key":"39_CR9","first-page":"1","volume":"109","author":"M. Nivat","year":"1979","unstructured":"M. NIVAT INFINITE WORDS, INFINITE TREES, INFINITE COMPUTATIONS Reprint from: Foundations of Computer cience III, Part 2: Languages, logic and semantics. Ed. J.W. BAKKER, J. VAN LEUWEN Mathematical Centre Tract 109 1979, pp. 1\u201352","journal-title":"j. van leuwen Mathematical Centre Tract"},{"key":"39_CR10","first-page":"209","volume":"17","author":"G. Plotkin","year":"1978","unstructured":"G. PLOTKIN T\u03c9 AAS A UNIVERSAL DOMAIN JCSS 17, 1978, pp. 209\u2013236","journal-title":"JCSS"},{"key":"39_CR11","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"G. PLOTKIN A POWERDOMAIN CONSTRUCTION SIAM J. Comput. 5, Sept. 1976, pp. 452\u2013487","journal-title":"SIAM J. Comput."},{"key":"39_CR12","first-page":"23","volume":"16","author":"M. Smyth","year":"1978","unstructured":"M. SMYTH POWERDOMAINS JCSS 16, 1978, pp. 23\u201336","journal-title":"JCSS"},{"key":"39_CR13","unstructured":"M. SMYTH THE LARGEST CARTESIAN CLOSED CATEGORY OF DOMAINS Comp. SCI. Report, Univ. of Edinburgh, March 1982."}],"container-title":["Lecture Notes in Computer Science","Foundations of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12689-9_127.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:00Z","timestamp":1605625560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12689-9_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540126898","9783540386827"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-12689-9_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}