{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T02:25:24Z","timestamp":1784255124379,"version":"3.55.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540123172","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0036893","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T12:38:14Z","timestamp":1138192694000},"page":"1-14","source":"Crossref","is-referenced-by-count":12,"title":["On semantic foundations for applicative multiprogramming"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Goguen, J. Thatcher, J. Wagner, E.G. and Wright, J.B. \u201cInitial Algebra Semantics and Continuous Algebras\u201d, JACM (1977).","DOI":"10.1145\/321992.321997"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Apt K. and Plotkin G. \u201cA Cook's tour of Countable Non-determinism\u201d, 8th ICALP, Springer LNCS 115, 1981.","DOI":"10.7146\/dpb.v10i133.18448"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Back, R. \u201cSemantics of Unbounded Non-Determinism\u201d, ICALP '80, Springer LNCS 84, 1980.","DOI":"10.1007\/3-540-10003-2_59"},{"key":"1_CR4","unstructured":"Boudol G. \u201cSemantique Operationelle et Algebrique Des Programmes Recursifs Non-Deterministes\u201d These d'Etat, Universite de Paris VII, 1980."},{"key":"1_CR5","unstructured":"Broy M. \u201cA Fixed Point Theory for Communication and Concurrency\u201d, Munich 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":"Henderson P. \u201cPurely Functional Operating Systems\u201d, in Functional Programming and its Applications, ed. Darlington, Henderson and Turner, Cambridge 1982.","DOI":"10.1145\/800068.802148"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hennessy M. \u201cPowerdomains and Nondeterministic Recursive Definitions\u201d, Springer LNCS 137, 1982.","DOI":"10.1007\/3-540-11494-7_13"},{"key":"1_CR9","unstructured":"Kahn G. \u201cThe Semantics of a Simple Language for Parallel Programming\u201d, IFIP Congress 74, 1974."},{"key":"1_CR10","unstructured":"Keller R.M. \u201cDenotational Models for Parallel Programs with Indeterminate Operators\u201d, in Formal Description of Programming Concepts ed. Neuhold, North Holland 1978."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Lehmann D. \u201cCategories for Fixed Point Semantics\u201d, FOCS 17, also Warwick University Theory of Computation Report, 1976.","DOI":"10.1109\/SFCS.1976.9"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Lehmann D. and Smyth M.J. \u201cAlgebraic Specification of Abstract Data Types\u201d, Mathematical Systems Theory, 1981.","DOI":"10.1007\/BF01752392"},{"key":"1_CR13","unstructured":"Nivat M. \u201cNondeterministic Programs: an Algebraic Overview\u201d, IFIP Congress 80, 1980."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Park D.M.R. \u201cOn the Semantics of Fair Parallelism\u201d, Springer LNCS 86, 1980.","DOI":"10.1007\/3-540-10007-5_47"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \u201cLCF Considered as a Programming Language\u201d, Theoretical Computer Science 1977.","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \u201cA Powerdomain Construction\u201d, SIAM Journal on Computing, 1976.","DOI":"10.1137\/0205035"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Plotkin G.D. \u201cDijkstra's Predicate Transformers and Smyth's Powerdomains\u201d, Springer LNCS 86, 1980.","DOI":"10.1007\/3-540-10007-5_48"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Poigne A. \u201cOn Effective Computations of Non-Deterministic Schemes\u201d, Springer LNCS 137, (1982).","DOI":"10.1007\/3-540-11494-7_21"},{"key":"1_CR19","unstructured":"Scott D. \u201cAn Outline of a Mathematical Theory of Computation\u201d, Oxford 1969."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036893.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T05:10:18Z","timestamp":1683349818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540123172"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0036893","relation":{},"subject":[]}}