{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297451},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:19Z","timestamp":1330193119000},"page":"109-129","source":"Crossref","is-referenced-by-count":40,"title":["Using information systems to solve reoursive domain equations effectively"],"prefix":"10.1007","author":[{"given":"K. G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Winskel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","unstructured":"Aczel, P., A note on Scott's theory of domains. Unpublished note, Math. Dept., Univ. of Manchester, (1983)."},{"key":"5_CR2","unstructured":"Berry, G., Modeles Completement Adequats et Stables des \u03bb-calculus typ\u00e9s. These de Doctorat d\u00c9tat, Universit\u00e9 Paris VII, (1979)."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Berry, G. and Curien, P.L., Sequential algorithms on concrete data structures. Report of Ecole Nationale Superieure des Mines de Paris, Centre de Mathematiques Appliqu\u00e9es, Sophia Antipolis, (1981).","DOI":"10.1145\/800223.806762"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cutland, N.J., Computability, an introduction to recursive function theory. Cambridge University Press, (1980).","DOI":"10.1017\/CBO9781139171496"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani, M. and Longo, G., Applicative Informative Systems. Universita Degli Studi di Pisa Dipartimento di Informatica, (1983).","DOI":"10.1007\/3-540-12727-5_2"},{"key":"5_CR6","unstructured":"Curien, P-L., Algorithmes sequentiels et extensionnalit\u00e9. Rapport LITP 82-67 Universite Paris VII, (1982)."},{"key":"5_CR7","unstructured":"Gr\u00e4tzer, G., Universal Algebra. Van Nostrand University series in Higher Mathematics, (1968)."},{"key":"5_CR8","unstructured":"Kahn, G. and Plotkin, G., Domaines Concr\u00e8tes. Rapport IRIA Laboria No. 336, (1978)."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"MacLane, S., Categories for the working mathematician. Springer-Verlag Graduate Texts in Math., (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"McCarty, C., Information Systems, Continuity and Realizability. Notices of the AMS, August issue, (1983).","DOI":"10.1007\/3-540-12896-4_372"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Plotkin, G. and Winskel, G., Petri nets, event structures and domains. Theor. Comp. Sc., (1981).","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"5_CR12","unstructured":"Plotkin, G.D., The category of complete partial orders: a tool for making meanings. Lecture notes, Pisa Summer School, (1978)."},{"issue":"3","key":"5_CR13","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"Plotkin, G.D., A powerdomain construction. SIAM Journal on Computing, vol.5, no.3, p.452\u2013487, (1976).","journal-title":"SIAM Journal on Computing"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Scott, D.S., Domains for Denotational Semantics. ICALP 1982.","DOI":"10.1007\/BFb0012801"},{"key":"5_CR15","unstructured":"Scott, D.S., Lectures on a mathematical theory of computation. Oxford University Computing Laboratory Technical Monograph PRG-19, (1981)."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Effectively given domains. Theoretical Computer Science, vol.5, pp.257\u2013274 (1977).","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Smyth, M., The largest cartesian-closed category of domains. Theor. Comp. Sc. (1983).","DOI":"10.1016\/0304-3975(83)90095-6"},{"key":"5_CR18","unstructured":"Stoy, J., Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press, (1977)."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Winskel, G., Event structure semantics of CCS and related languages. Report of Comp. Sc. Dept., Aarhus University, My Munkegade, 8000 Aarhus C, Denmark, and extended abstract in proc. ICALP 82 in Springer LNCS (1982).","DOI":"10.1007\/BFb0012800"}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:25Z","timestamp":1605643645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}