{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:22Z","timestamp":1725663382766},"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_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:44Z","timestamp":1330199684000},"page":"200-212","source":"Crossref","is-referenced-by-count":0,"title":["A powerdomain construction"],"prefix":"10.1007","author":[{"given":"Karel","family":"Hrbacek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"GIERZ, G., HOFMANN, K.H., KIEMEL, K., LAWSON, J.D., MISLOVE, M., SCOTT, D.S., (1980), A Compendium of Continuous Lattices, Springer-Verlag, 371 pp.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"GR\u00c4TZER, G. (1979), Universal Algebra, 2ndEd., Springer-Verlag, 581 pp.","DOI":"10.1007\/978-0-387-77487-9"},{"key":"10_CR3","first-page":"108","volume":"74","author":"M. Hennessy","year":"1979","unstructured":"HENNESSY, M. and PLOTKIN, G.D. (1979), Full Abstraction for a Simple Parallel Programming Language, in: MFCS 79, ed. by J. Be\u010dv\u00e1\u0159, LNCS vol. 74, Springer-Verlag 1979, pp. 108\u2013120.","journal-title":"LNCS"},{"key":"10_CR4","first-page":"281","volume":"194","author":"K. Hrbacek","year":"1985","unstructured":"HRBACEK, K. (1985), Powerdomains as Algebraic Lattices, in: ICALP 85, ed. by W. Brauer, LNCS vol. 194, Springer-Verlag 1985, pp. 281\u2013289.","journal-title":"LNCS"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"HRBACEK, K. (1987), Convex Powerdomains, to appear in Information and Computation.","DOI":"10.1016\/0890-5401(87)90021-6"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"PLOTKIN, G.D. (1976), A Powerdomain Construction, SIAM J. Comp. 5, pp. 452\u2013486.","journal-title":"SIAM J. Comp."},{"key":"10_CR7","unstructured":"PLOTKIN, G.D. (1981), Unpublished 1981\/82 Lecture Notes."},{"key":"10_CR8","unstructured":"SCOTT, D.S. (1981), Lectures on a Mathematical Theory of Computation, Oxford Univ. Computing Lab. Prog. Research Group \u2014 19, 148 pp."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. B. Smyth","year":"1978","unstructured":"SMYTH, M.B. (1978), Powerdomains, J. Comp. System Sci. 16, 23\u201336.","journal-title":"J. Comp. System Sci."}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:50:26Z","timestamp":1687283426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}