{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:50Z","timestamp":1725455990994},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022470","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"191-202","source":"Crossref","is-referenced-by-count":4,"title":["Denotational semantics of parallelism"],"prefix":"10.1007","author":[{"given":"Jerald S.","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Chandra, A. [78] Computable nondeterministic functions, 19th Symp. on Foundations of Computer Science, Ann Arbor"},{"key":"11_CR2","unstructured":"Francez, N. & Hoare, C.A.R. & Lehmann, D & de Roever, W. P. [78] Semantics of nondeterminism, concurrency and communication"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Friedman, D. & Wise, D. [78] A Note on conditional expressions, CACM 21, pp. 931\u2013933","DOI":"10.1145\/359642.359650"},{"key":"11_CR4","unstructured":"Hennessy, M. C. B. [77] The semantics of call-by-value and call-by-name in a nondeterministic environment, Computer Science Dept. Univ. of Waterloo CS-77-13"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R. [78] Communicating sequential processes, CACM 21, pp. 666\u2013677","DOI":"10.1145\/359576.359585"},{"key":"11_CR6","unstructured":"Manna, Zohar [74] Mathematical Theory of Computation, McGraw-Hill"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Milner, Robin [78] Synthesis of communicating behavior, in Mathematical foundations of computer science 1978, Springer-Verlag Lecture Notes in Computer Science No. 64","DOI":"10.1007\/3-540-08921-7_57"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Plotkin, G. [76] A powerdomain construction, SIAM Journal of Computing 5","DOI":"10.1137\/0205035"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Smyth, M. B. [78] Power domains, Jour. of Comp. and System Sciences 16, pp. 23\u201336","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"11_CR10","unstructured":"Stoy, J. [77] Denotational semantics of Programming Languages, MIT press"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Tennent, R. D. [76] The denotational semantics of programming languages, CACM 19 pp. 437\u2013453","DOI":"10.1145\/360303.360308"}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:20Z","timestamp":1586578700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022470","relation":{},"subject":[]}}