{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:14Z","timestamp":1725663254550},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:54Z","timestamp":1330194234000},"page":"479-496","source":"Crossref","is-referenced-by-count":8,"title":["Semantics of networks containing indeterminate operators"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Keller","sequence":"first","affiliation":[]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S. Semantic Foundations of Applicative Multiprogramming. In Diaz, J. (editor), Automata, Languages and Programming, pages 1\u201314. Springer-Verlag, July, 1983.","DOI":"10.1007\/BFb0036893"},{"key":"23_CR2","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of Programming Concepts","author":"J. D. Brock","year":"1981","unstructured":"Brock J.D., W.B. Ackermann. Scenarios: A Model of Non-Determinate Computation. In J. Diaz, I. Ramos (editor), Formalization of Programming Concepts, LNCS 107, pages 252\u2013259. Springer-Verlag, New York, 1981."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Broy M. A Fixed Point Approach to Applicative Multiprogramming. In Lectures at the International Summer School on Theoretical Foundations of Programming Methodology. July, 1981.","DOI":"10.1007\/978-94-009-7893-5_16"},{"issue":"2","key":"23_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.1982.1653939","volume":"15","author":"A. L. Davis","year":"1982","unstructured":"A.L. Davis and R.M. Keller. Dataflow program graphs. Computer 15(2):26\u201341, February, 1982.","journal-title":"Computer"},{"key":"23_CR5","unstructured":"Hennessey, M. Synchronous and Asynchronous Experiments on Processes. Technical Report, University of Edinburgh, September, 1982."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Karp R. M., Miller R. Parallel program schemata. JCSS, May, 1969.","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"23_CR7","first-page":"337","volume-title":"Formal Descriptions of Programming Concepts","author":"R. M. Keller","year":"1978","unstructured":"Keller R.M. Denotational Models for Parallel Programs With Indeterminate Operators. In E.J. Neuhold (editor), Formal Descriptions of Programming Concepts, pages 337\u2013365. North-Holland, Amsterdam, 1978."},{"key":"23_CR8","unstructured":"R.M. Keller. Unpublished presentation on archives. June, 1983. Massachusetts Institute Technology, Applicative Languages Workshop, Endicott House."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Plotkin G. A Powerdomain Construction. SIAM J. of Computing 5(3), September, 1976.","DOI":"10.1137\/0205035"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Pratt V. On the Composition of Processes. In Ninth Annual ACM Symposium on Principles of Programming Languages, pages 213\u2013223. ACM, January, 1982.","DOI":"10.1145\/582153.582177"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","volume":"4","author":"W. E. Riddle","year":"1979","unstructured":"Riddle W.E. An Approach to Software System Behavior Description. Computer Languages 4:29\u201347, 1979.","journal-title":"Computer Languages"},{"key":"23_CR12","unstructured":"Scott D.S. Outline of a Mathematical Theory of Computation. In Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, pages 169\u2013176. 1970."},{"key":"23_CR13","unstructured":"Scott D.S., Strachey C. Towards a Mathematical Semantics for Computer Languages. Technical Report PRG-6, University of Oxford, 1971."},{"key":"23_CR14","first-page":"23","volume":"16","author":"M. B. Smythe","year":"1978","unstructured":"Smythe M.B. Power Domains. J. CSS 16:23\u201336, 1978.","journal-title":"J. CSS"},{"key":"23_CR15","unstructured":"Winskel G. Events in Computation. PhD thesis, University of Edinburgh, 1980."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:44Z","timestamp":1605643724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}