{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:47Z","timestamp":1725456107165},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022503","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"168-180","source":"Crossref","is-referenced-by-count":1,"title":["Consistent semantics for a data flow language"],"prefix":"10.1007","author":[{"given":"J.","family":"Dean Brock","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"VAL \u2014 A Value-Oriented Algorithmic Language: Preliminary Reference Manual","author":"W. B. Ackerman","year":"1979","unstructured":"Ackerman, W. B., and J. B. Dennis, VAL \u2014 A Value-Oriented Algorithmic Language: Preliminary Reference Manual, Computation Structures Group, Laboratory for Computer Science (TR-218), MIT, Cambridge, Massachusetts, June 1979."},{"key":"12_CR2","first-page":"849","volume":"77","author":"Arvind","year":"1977","unstructured":"Arvind, and K. P. Gostelow, \u201cA Computer Capable of Exchanging Processors for Time\u201d, Information Processing 77: Proceedings of IFIP Congress 77 (B. Gilchrist, Ed.), August 1977, 849\u2013853.","journal-title":"Information Processing 77: Proceedings of IFIP Congress"},{"issue":"5","key":"12_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/1067625.806559","volume":"11","author":"Arvind","year":"1977","unstructured":"Arvind, K. P. Gostelow, and W. Plouffe, \u201cIndeterminacy, Monitors and Dataflow\u201d, Proceedings of the Sixth ACM Symposium on Operating Systems Principles, Operating Systems Review 11, 5(November 1977), 159\u2013169.","journal-title":"Proceedings of the Sixth ACM Symposium on Operating Systems Principles, Operating Systems Review"},{"issue":"11","key":"12_CR4","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P., \u201cDistributed Processes: A Concurrent Programming Concept,\u201d Communications of the ACM 21, 11(November 1978), 934\u2013941.","journal-title":"Communications of the ACM"},{"key":"12_CR5","volume-title":"Operational Semantics of a Data Flow Language","author":"J. D. Brock","year":"1978","unstructured":"Brock, J. D., Operational Semantics of a Data Flow Language, Laboratory for Computer Science (TM-120), MIT, Cambridge, Massachusetts, December 1978."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Dennis, J. B., \u201cFirst Version of a Data Flow Procedure Language\u201d, Programming Symposium: Proceedings, Colleque sur la Programmation (B. Robinet, Ed.), Lecture Notes in Computer Science 19, 362\u2013376.","DOI":"10.1007\/3-540-06859-7_145"},{"key":"12_CR7","unstructured":"Dennis, J. B., \u201cA Language Design for Structured Concurrency\u201d, Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop (J. H. Williams and D. A. Fisher, Eds.), Lecture Notes in Computer Science 54, October 1976."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Dennis, J. B., and D. P. Misunas, \u201cA Preliminary Architecture for a Basic Data-Flow Processor\u201d, The Second Annual Symposium on Computer Architecture: Conference Proceedings, January 1975, 126\u2013132.","DOI":"10.1145\/642089.642111"},{"issue":"8","key":"12_CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare, C. A. R., \u201cCommunicating Sequential Processes\u201d, Communications of the ACM 21, 8(August 1978), 666\u2013677.","journal-title":"Communications of the ACM"},{"key":"12_CR10","unstructured":"Kahn, G., \u201cThe Semantics of a Simple Language for Parallel Programming\u201d, Information Processing 74: Proceedings of the IFIP Congress 74, August 1974, 471\u2013475."},{"issue":"3","key":"12_CR11","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. S. Scott","year":"1976","unstructured":"Scott, D. S., \u201cData Types as Lattices\u201d, SIAM Journal of Computing 5, 3(September 1976), 522\u2013587.","journal-title":"SIAM Journal of Computing"},{"issue":"8","key":"12_CR12","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"Tennent, R. D., \u201cThe Denotational Semantics of Programming Languages\u201d, Communications of the ACM 19, 8(August 1976), 437\u2013453.","journal-title":"Communications of the ACM"},{"key":"12_CR13","volume-title":"Stream-Oriented Computation in Recursive Data Flow Schemas","author":"K.-S. Weng","year":"1975","unstructured":"Weng, K.-S., Stream-Oriented Computation in Recursive Data Flow Schemas, Laboratory for Computer Science (TM-68), MIT, Cambridge, Massachusetts, October 1975."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022503.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:44Z","timestamp":1607550524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0022503","relation":{},"subject":[]}}