{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:09Z","timestamp":1725663249585},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_89","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:51:43Z","timestamp":1330192303000},"page":"1-13","source":"Crossref","is-referenced-by-count":5,"title":["Experiments, powerdomains and fully abstract models for applicative multiprogramming"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","unstructured":"Abramsky, S. \"On Semantic Foundations for Applicative Multiprogramming\", To appear in ICALP '83, Also QMC CSL Report Number 321, 1982."},{"key":"1_CR2","unstructured":"Apt, K. and Plotkin, G.D. \"Countable Non-determinism and Random Assignment\" Technical Report, Edinburgh University, 1982."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Goguen, J. Thatcher, J. Wagner, E.G. and Wright, J.B. \"Initial Algebra Semantics and Continuous Algebras\", JACM (1977).","DOI":"10.1145\/321992.321997"},{"key":"1_CR4","unstructured":"Broy, M. \"Fixed Point Theory for Communication and Concurrency\", Technical University of Munich, 1982."},{"key":"1_CR5","unstructured":"DeNicola, R. and Hennessy, M. \"Testing Equivalences for Processes\", Technical Report CSR-123-82, Edinburgh University, 1982."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Guessarian I. Algebraic Semantics, Springer LNCS 99, 1981.","DOI":"10.1007\/3-540-10284-1"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy M. \"Powerdomains and Nondeterministic Recursive Definitions\", Springer LNCS 137, 1982.","DOI":"10.1007\/3-540-11494-7_13"},{"key":"1_CR8","unstructured":"Kahn G. \"The Semantics of a Simple Language for Parallel Programming\", IFIP Congress 74, 1974."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Kennaway, J.K. and Hoare, C.A.R. \"A Theory of Nondeterminism\", ICALP 80, Springer LNCS 85, 1980.","DOI":"10.1007\/3-540-10003-2_82"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Milner R. \"Processes: A Mathematical Model for Computing Agents\", in Logic Colloquium '73, ed. Rose H.E. and Shepherdson J.C., North Holland 1975.","DOI":"10.1016\/S0049-237X(08)71948-7"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Milner R. A Calculus of Communicating Systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR12","unstructured":"Nivat, M. \"Infinite words, infinite trees, infinite computations\", in Foundations of Computer Science III Part 2, ed. de Bakker and van Leeuwen, Mathematical Centre Tracts 109, Amsterdam 1979."},{"key":"1_CR13","unstructured":"Nivat M. \"Nondeterministic Programs: an Algebraic Overview\", IFIP Congress 80, 1980."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \"A Powerdomain Construction\", SIAM Journal on Computing 1976.","DOI":"10.1137\/0205035"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \"LCF Considered as a Programming Language\", Theoretical Computer Science 1977.","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \"An Operational Semantics for CSP\", Technical Report, Edinburgh University, 1982.","DOI":"10.1007\/3-540-11981-7_17"},{"key":"1_CR17","unstructured":"Smyth M.J. \"Powerdomains\", JCSS 1978."}],"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_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:01Z","timestamp":1605643561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12689-9_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540126898","9783540386827"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-12689-9_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}