{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:51Z","timestamp":1725455991843},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022475","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:24:08Z","timestamp":1132705448000},"page":"285-299","source":"Crossref","is-referenced-by-count":3,"title":["An extensional treatment of dataflow deadlock"],"prefix":"10.1007","author":[{"given":"William W.","family":"Wadge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Arvind and Gostelow, Dataflow computer architecture: research and goals, technical report no. 113, Department of Information and Computer Science, University of California Irvine."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Ashcroft, E.A., and Wadge, W., Lucid, a nonprocedural language with iteration, CACM 20, no. 7, pp 519\u2013526.","DOI":"10.1145\/359636.359715"},{"key":"16_CR3","unstructured":"Davis, A.L., The architecture of DDM-1: a recursively structured data driven machine, report UUCS-77-113, Department of Computer Science, University of Utah."},{"key":"16_CR4","unstructured":"Dennis, J.B., First version of a dataflow procedure language, MAC TM 61, MIT."},{"key":"16_CR5","unstructured":"Faustini, A.A., The equivalence of the operational and extensional semantics of pure dataflow, Ph.D. (in preparation), University of Warwick, Coventry UK."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF00288883","volume":"9","author":"C.M. Hoffman","year":"1978","unstructured":"Hoffman, C.M., Design and correctness of a compiler for a nonprocedural language, Acta Information 9, pp 217\u2013241 (1978).","journal-title":"Acta Information"},{"key":"16_CR7","unstructured":"Kahn, G., The semantics of a simple language for parallel processing, IFIPS 74."},{"key":"16_CR8","unstructured":"Kuratowski, K., Topologie (I), Warsaw (1958)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022475.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:48:36Z","timestamp":1607532516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022475","relation":{},"subject":[]}}