{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:26:15Z","timestamp":1759638375859},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:02Z","timestamp":1330195202000},"page":"237-249","source":"Crossref","is-referenced-by-count":7,"title":["Denotational semantics of nets with nondeterminism"],"prefix":"10.1007","author":[{"given":"Joost N.","family":"Kok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"A. Abramsky, On Semantic Foundations for Applicative Multiprogramming, Proc. 10th ICALP, (J.Diaz ed.), Barcelona, LNCS 154, Springer, 1983, pp. 1\u201314.","DOI":"10.1007\/BFb0036893"},{"issue":"2","key":"18_CR2","first-page":"103","volume":"15","author":"A. Arnold","year":"1981","unstructured":"A. Arnold, Semantique des Processus Communicants, RAIRO 15 (2), 1981, pp.103\u2013109.","journal-title":"RAIRO"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"R.J.Back, N. Mannila, A Refinement of Kahn's Semantics to Handle Nondeterminism and Communication, Proc. ACM Symp. on Distributed Comp., Ottawa, 1982, pp. 111\u2013120.","DOI":"10.1145\/800220.806688"},{"key":"18_CR4","unstructured":"J.W. de Bakker, J.-J.Ch. Meyer, J. Zucker, Bringing Color in the Semantics of Nondeterministic Dataflow, Preprint, Centre fo Mathematics and Computer Science, 1985."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, J.N. Kok, Towards a Topological Treatment of Streams and Functions on Streams, Proc. 12th ICALP, (W. Brauer ed.), Nafplion, LNCS 194, 1985, pp. 140\u2013149.","DOI":"10.1007\/BFb0015739"},{"key":"18_CR6","unstructured":"J. Bergstra, J.W. Klop, Process Algebra for the Operational Semantics of Static Dataflow Networks, Techn. Report Mathematical Centre IW 222\/83, Amsterdam, 1983."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Boussinot, Proposition de semantique denotationelle pour des reseaux de processus avec operateur de melange equitable, TCS 18, 1982, pp. 173\u2013206.","DOI":"10.1016\/0304-3975(82)90021-4"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"J.D. Brock, W.B. Ackerman, Scenarios: A Model of Non-determinate Computation, in Proc. Formalization of Language Concepts, (J. Diaz, J. Ramos eds.), LNCS 107, Springer, 1981, pp. 252\u2013259.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"18_CR9","first-page":"125","volume-title":"Formal Description of Programming Concepts-II","author":"M. Broy","year":"1983","unstructured":"M. Broy, Fixed Point Theory for Communication and Concurrency, in: Formal Description of Programming Concepts-II, (Bjorner ed.), North-Holland, Amsterdam, 1983, pp. 125\u2013148."},{"key":"18_CR10","unstructured":"M. Broy, Nondeterministic Data Flow Programs: How to avoid the Merge Anomaly, preprint, Fakultat fur Mathematik und Informatik, Universitat Passau, 1984."},{"key":"18_CR11","volume-title":"Topology","author":"J. Dugundji","year":"1966","unstructured":"J. Dugundji, Topology, Allen and Bacon Rockleigh, N.J. 1966."},{"key":"18_CR12","unstructured":"R. Engelking, General topology, Polish Scientific Publishers 1977."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"A.A. Faustini, An Operational Semantics for Pure Dataflow, in: Proc. 9th ICALP, (M. Nielsen, E.M. Schmidt, eds.), LNCS 140, Springer, 1982, pp. 212\u2013224.","DOI":"10.1007\/BFb0012771"},{"key":"18_CR14","unstructured":"H. Hahn, Reelle Funktionen, Chelsea, New York, 1948."},{"key":"18_CR15","first-page":"993","volume-title":"Proc. IFIP74","author":"G. Kahn","year":"1977","unstructured":"G. Kahn, The Semantics of a Simple Language for Parallel Programming, in: Proc. IFIP74, North-Holland, Amsterdam, 1977, pp. 993\u2013998."},{"key":"18_CR16","first-page":"993","volume-title":"Proc. IFIP 1977","author":"G. Kahn","year":"1977","unstructured":"G. Kahn, D.B. MacQueen, Coroutines and Networks of Parallel Processes, in Proc. IFIP 1977, North-Holland, Amsterdam, 1977, pp. 993\u2013998."},{"key":"18_CR17","first-page":"337","volume-title":"Formal Description of Programming Concepts","author":"R. M. Keller","year":"1977","unstructured":"R.M. Keller, Denotational Models for Parallel Programs with Indeterminate Operators, in: Formal Description of Programming Concepts, (E.J. Neuhold ed.), North-Holland, Amsterdam, 1977, pp. 337\u2013366."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"R.M. Keller, P. Panangaden, Semantics of Networks Containing Indeterminate Operators, in: Seminar on Concurrency, Carnegie-Mellon University, (S.D. Brookes, A.W. Roscoe, G. Winskel eds.), Lecture Notes in Computer Science 197, pp. 479\u2013496, 1985.","DOI":"10.1007\/3-540-15670-4_23"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"P.R. Kosinski, A Straightforward Denotational Semantics for Nondeterminate Data Flow Programs, in: 5th ACM POPL, 1978, pp. 214\u2013182.","DOI":"10.1145\/512760.512783"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E. Michael","year":"1951","unstructured":"E. Michael, Topologies on spaces of subsets, Trans. AMS 71 (1951), pp12\u2013182.","journal-title":"Trans. AMS"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Nadler, S.B., Some Results on Multi-Valued Contraction Mappings, in Set-Valued Mappings, Selections and Topological Properties of 2 X , (W.M. Fleischman ed), Lecture Notes in Mathematics, pp. 64\u201369, 1970.","DOI":"10.1007\/BFb0069723"},{"key":"18_CR22","first-page":"3","volume":"109","author":"M. Nivat","year":"1979","unstructured":"M. Nivat, Infinite words, infinite trees, infinite computations, Foundations of Computer Science III. 2, Mathematical Centre Tracts 109 (1979) 3\u201352.","journal-title":"Foundations of Computer Science III. 2, Mathematical Centre Tracts"},{"key":"18_CR23","unstructured":"D. Park, The Fairness Problem and Nondeterministic Computing Networks, in: Foundations of Computer Science IV.2, (J.W. de Bakker, J. van Leeuwen eds), Mathematical Centre Tracts 159, Amsterdam, 1983, pp. 133\u2013161."},{"issue":"2","key":"18_CR24","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/3149.3155","volume":"32","author":"J. Staples","year":"1985","unstructured":"J. Staples, V.L. Nguyen, A Fixpoint Semantics for Nondeterministic Dataflow, Journal of the ACM, april 1985, 32(2), 1985, pp. 411\u2013445.","journal-title":"Journal of the ACM"},{"key":"18_CR25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(81)90108-0","volume":"13","author":"W. W. Wadge","year":"1981","unstructured":"W.W. Wadge, An extensional Treatment of Dataflow Deadlock, in Theoretical Computer Science 13 (1981), pp. 3\u201315, 1981.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:04Z","timestamp":1605643804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}