{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:20Z","timestamp":1725663080486},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185086"},{"type":"electronic","value":"9783540480068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18508-9_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:36:35Z","timestamp":1330198595000},"page":"238-253","source":"Crossref","is-referenced-by-count":4,"title":["Logical aspects of denotational semantics"],"prefix":"10.1007","author":[{"given":"E.","family":"Robinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","unstructured":"S. Abramsky [1986] A Domain Equation for Bisimulation, unpublished manuscript, 1986"},{"key":"13_CR2","unstructured":"S. Abramsky [1987] Domain Theory in Logical Form, in Proc. of the IEEE Sympsoium on Logic in Computer Science (LICS '87), IEEE Computer Society Press (1987) 47\u201353"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"S.D. Brookes [1985] An Axiomatic Treatment of a Parallel Programming Language, in Logics of Programs (edited by R. Parikh), Lecture Notes in Computer Science 193, Springer (1985) 41\u201360","DOI":"10.1007\/3-540-15648-8_4"},{"key":"13_CR4","volume-title":"Mathematical Theory of Program Correctness","author":"J. Bakker de","year":"1980","unstructured":"J. de Bakker [1980] Mathematical Theory of Program Correctness, Prentice Hall, New Jersey, 1980"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/S0022-0000(75)80051-1","volume":"1","author":"A. Cremers","year":"1975","unstructured":"A. Cremers & S. Ginsburg [1975] Context-free grammar forms, in J. Comput. System Sci. (1) (1975) 86\u2013116","journal-title":"J. Comput. System Sci."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland [1981] Function spaces in the category of locales, in Continuous Lattices, Lecture Notes in Mathematics 871, Springer-Verlag (1981) 264\u2013281","DOI":"10.1007\/BFb0089910"},{"key":"13_CR7","unstructured":"P.T. Johnstone [1982] Stone Spaces, Cambridge University Press, 1982"},{"issue":"8","key":"13_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1090\/S0273-0979-1983-15080-2","volume":"1","author":"P.T. Johnstone","year":"1983","unstructured":"[1983] The Point of Pointless Topology, in Bull. Amer. Math. Soc. (8) 1 (1983) 41\u201353","journal-title":"Bull. Amer. Math. Soc."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"P.T. Johnstone [1985] Vietoris Locales and Localic Semilattices, in Continuous Lattices and Their Applications (edited by R.-E. Hoffmann & K.H. Hoffmann), Pure & Applied Mathematics 101, Marcel Dekker (1985) 155\u2013180","DOI":"10.1201\/9781003072621-9"},{"key":"13_CR10","unstructured":"G.D. Plotkin [1981] \u201cPisa Notes\u201d, unpublished lecture notes, 1981"},{"key":"13_CR11","unstructured":"E.P. Robinson [1986] Power-domains, Modalities, and the Vietoris Monad, Cambridge University Computer Laboratory technical report no. 98, 1986"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"D.S. Scott [1982] Domains for denotational semantics, in Automata, Languages and Programming, Proceedings of ICALP '82 (edited by M. Nielsen & E.M. Schmidt), Lecture Notes in Computer Science 140, Springer-Verlag (1982) 577\u2013613","DOI":"10.1007\/BFb0012801"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(85)90037-4","volume":"36","author":"G. Winskel","year":"1985","unstructured":"G. Winskel [1985] On Powerdomains and Modality, in Theor. Comp. Sci. (36) (1985) 127\u2013137","journal-title":"Theor. Comp. Sci."},{"key":"13_CR14","unstructured":"G.Q. Zhang [1987] Towards Semantic Based Proof Systems, unpublished manuscript, 1987"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18508-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:11:01Z","timestamp":1640916661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18508-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185086","9783540480068"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-18508-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}