{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:43Z","timestamp":1725456043117},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018344","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:50:09Z","timestamp":1132627809000},"page":"52-74","source":"Crossref","is-referenced-by-count":14,"title":["Compositional relational semantics for indeterminate dataflow networks"],"prefix":"10.1007","author":[{"given":"Eugene W.","family":"Stark","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I. J. Aalbersberg","year":"1988","unstructured":"I. J. Aalbersberg and G. Rozenberg. Theory of traces. Theoretical Computer Science, 60(1):1\u201382, 1988.","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","unstructured":"M. Bednarczyk. Categories of Asynchronous Systems. PhD thesis, University of Sussex, October 1987."},{"key":"4_CR3","unstructured":"J. D. Brock. A Formal Model of Non-Determinate Dataflow Computation. PhD thesis, Massachusetts Institute of Technology, 1983. Available as MIT\/LCS\/TR-309."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: a model of non-determinate computation. In Formalization of Programming Concepts, pages 252\u2013259, Springer-Verlag. Volume 107 of Lecture Notes in Computer Science, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0167-6423(88)90016-0","volume":"10","author":"M. Broy","year":"1988","unstructured":"M. Broy. Nondeterministic data-flow programs: how to avoid the merge anomaly. Science of Computer Programming, 10:65\u201385, 1988.","journal-title":"Science of Computer Programming"},{"key":"4_CR6","volume-title":"Categorical Combinators, Sequential Algorithms, and Functional Programming. Research Notes in Theoretical Computer Science","author":"P.-L. Curien","year":"1986","unstructured":"P.-L. Curien. Categorical Combinators, Sequential Algorithms, and Functional Programming. Research Notes in Theoretical Computer Science, Pitman, London, 1986."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. A. Faustini. An operational semantics for pure dataflow. In Automata, Languages, and Programming, 9th Colloquium, pages 212\u2013224, Springer-Verlag. Volume 140 of Lecture Notes in Computer Science, 1982.","DOI":"10.1007\/BFb0012771"},{"key":"4_CR8","unstructured":"H. Herrlich and G. E. Strecker. Category Theory. Sigma Series in Pure Mathematics, Heldermann Verlag, 1979."},{"key":"4_CR9","first-page":"471","volume":"74","author":"G. Kahn","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing 74, pages 471\u2013475, North-Holland, 1974.","journal-title":"Information Processing"},{"key":"4_CR10","first-page":"993","volume":"77","author":"G. Kahn","year":"1977","unstructured":"G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing 77, pages 993\u2013998, North-Holland, 1977.","journal-title":"Information Processing"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Volume 5 of Graduate Texts in Mathematics, Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"4_CR12","unstructured":"A. Mazurkiewicz. Trace theory. In Advanced Course on Petri Nets, GMD, Bad Honnef, September 1986."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"P. Panangaden and E. W. Stark. Computations, residuals, and the power of indeterminacy. In Automata, Languages, and Programming, pages 439\u2013454, Springer-Verlag. Volume 317 of Lecture Notes in Computer Science, 1988.","DOI":"10.1007\/3-540-19488-6_133"},{"key":"4_CR14","unstructured":"G. D. Plotkin. Domains: lecture notes. 1979. (unpublished manuscript)."},{"key":"4_CR15","unstructured":"D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"E. W. Stark. Concurrent transition system semantics of process networks. In Fourteenth ACM Symposium on Principles of Programming Languages, pages 199\u2013210, January 1987.","DOI":"10.1145\/41625.41643"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"E. W. Stark. Concurrent transition systems. Theoretical Computer Science, 1989. (to appear).","DOI":"10.1016\/0304-3975(89)90050-9"},{"key":"4_CR18","unstructured":"E. W. Stark. Connections between a concrete and abstract model of concurrent systems. In Fifth Conference on the Mathematical Foundations of Programming Semantics, Springer-Verlag. Lecture Notes in Computer Science, New Orleans, LA, 1989 (to appear)."},{"key":"4_CR19","unstructured":"E. W. Stark. On the Relations Computed by a Class of Concurrent Automata. Technical Report 88-09, SUNY at Stony Brook Computer Science Dept., 1988."},{"key":"4_CR20","unstructured":"G. Winskel. Events in Computation. PhD thesis, University of Edinburgh, 1980."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018344.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:41:06Z","timestamp":1607532066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0018344","relation":{},"subject":[]}}