{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:13Z","timestamp":1725663253700},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_112","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:52:16Z","timestamp":1330174336000},"page":"290-301","source":"Crossref","is-referenced-by-count":2,"title":["Functional behavior of nondeterministic programs"],"prefix":"10.1007","author":[{"given":"Michael G.","family":"Main","sequence":"first","affiliation":[]},{"given":"David B.","family":"Benson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","unstructured":"D.B. Benson. Counting paths: nondeterminism as linear algebra, to appear in IEEE Trans. Software Engineering."},{"key":"24_CR2","unstructured":"D.B. Benson. Studies in fork-join parallelism, Washington State University Technical Report CS-82-101, Pullman, WA 99164 (1982)."},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs, CACM 18 (1975), 453\u2013457.","journal-title":"CACM"},{"key":"24_CR4","unstructured":"E.W. Dijkstra. A Discipline of Programming, (Prentice-Hall, 1976)."},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1090\/S0002-9947-1969-0237687-X","volume":"138","author":"P.A. Grillet","year":"1969","unstructured":"P.A. Grillet. The tensor product of semi-groups, Trans. Amer. Math. Soc. 138 (1969), 267\u2013280.","journal-title":"Trans. Amer. Math. Soc."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1090\/S0002-9947-1969-0237688-1","volume":"138","author":"P.A. Grillet","year":"1969","unstructured":"P.A. Grillet. The tensor product of commutative semi-groups, Trans. Amer. Math. Soc. 138 (1969), 281\u2013293.","journal-title":"Trans. Amer. Math. Soc."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy and G.D. Plotkin. Full abstraction for a simple parallel programming language, in: Mathematical Foundations of Computer Science 79, LNCS 74, (Springer-Verlag, 1979), 108\u2013120.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"24_CR8","first-page":"328","volume":"22","author":"D. Kozen","year":"1981","unstructured":"D. Kozen. Semantics of probabilistic programs, JCSS 22 (1981), 328\u2013350.","journal-title":"JCSS"},{"key":"24_CR9","unstructured":"S. MacLane and G. Birkhoff. Algebra, (MacMillan Publishing Co., 1979)."},{"key":"24_CR10","unstructured":"M.G. Main and D.B. Benson. An algebra for nondeterministic distributed processes, Washington State University Technical Report CS-82-087, Pullman, WA 99164 (1982)."},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/0022-247X(82)90010-5","volume":"85","author":"E.G. Manes","year":"1982","unstructured":"E.G. Manes. A Class of Fuzzy Theories, J. Math. Analysis and Applications 85 (1982), 409\u2013451.","journal-title":"J. Math. Analysis and Applications"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"G.D. Plotkin. A powerdomain construction, SIAM J. Computing 5 (1976), 452\u2013487.","journal-title":"SIAM J. Computing"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"A. Poign\u00e9. Using least fixed points to characterize formal computations of non-determinate equations, in: Formalizations of Programming Concepts (J. Diaz and I. Ramos, Eds.), LNCS 107, (Springer-Verlag, 1981), 447\u2013459.","DOI":"10.1007\/3-540-10699-5_118"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"A. Poign\u00e9. On effective computations of nondeterministic schemes, in: 5th International Symposium on Programming, LNCS 137, (Springer-Verlag, 1982), 323\u2013336.","DOI":"10.1007\/3-540-11494-7_21"},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(80)90003-1","volume":"12","author":"N. Saheb-Djahromi","year":"1980","unstructured":"N. Saheb-Djahromi. CPO's of measures for nondeterminism, TCS 12 (1980), 19\u201337.","journal-title":"TCS"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"M. Smyth. Powerdomains, JCSS 16 (1978)","DOI":"10.1016\/0022-0000(78)90048-X"}],"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_112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:55Z","timestamp":1605625555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12689-9_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540126898","9783540386827"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-12689-9_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}