{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:41:30Z","timestamp":1767138090524,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662232064","type":"print"},{"value":"9783662252093","type":"electronic"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-662-25209-3_25","type":"book-chapter","created":{"date-parts":[[2013,8,21]],"date-time":"2013-08-21T05:33:51Z","timestamp":1377063231000},"page":"372-389","source":"Crossref","is-referenced-by-count":0,"title":["Data Flow Implementation of Generalized Guarded Commands"],"prefix":"10.1007","author":[{"given":"R.","family":"Govindarajan","sequence":"first","affiliation":[]},{"given":"Sheng","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.1982.1653940","volume":"15","author":"Arvind","year":"1982","unstructured":"Arvind and Gostelow, K.P., \u201cThe U Interpreter\u201d, IEEE Computer, vol. 15, no. 2, pp. 42\u201349, Feb. 1982.","journal-title":"IEEE Computer"},{"key":"25_CR2","volume-title":"A Fair and Efficient Implementation of CSP with Output Guards","author":"RJR Back","year":"1984","unstructured":"Back, R.J.R, Ekslund, P., and Kurki-Suonia, R., \u201cA Fair and Efficient Implementation of CSP with Output Guards\u201d, Technical Report, Ser. A, No. 38, Abo Akademic, Finland, 1984."},{"key":"25_CR3","first-page":"422","volume-title":"Proc. of the 6th International Conference on Distributed Computing Systems","author":"R Bagrodia","year":"1986","unstructured":"Bagrodia, R., \u201cA Distributed Algorithm to Implement the Generalized Alternative Command in CSP\u201d, In: Proc. of the 6th International Conference on Distributed Computing Systems, pp. 422\u2013427, 1986."},{"issue":"4","key":"25_CR4","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1145\/69558.69561","volume":"11","author":"R Bagrodia","year":"1989","unstructured":"Bagrodia, R., \u201cSynchronization of Asynchronous Processes in CSP\u201d, ACM Transactions on Programming Languages and Systems, vol. 11, no. 4, pp. 585\u2013597, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"25_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0743-7315(86)90018-3","volume":"3","author":"PMCC Barahona","year":"1986","unstructured":"Barahona, P.M.C.C., and Gurd, J.R., \u201cProcessor Allocation in a Multi-ring Data Flow Machine,\u201d Journal of Parallel and Distributed Computing, vol. 3, no. 3, pp. 305\u2013327, 1986.","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"2","key":"25_CR6","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/357094.357101","volume":"2","author":"AJ Bernstein","year":"1980","unstructured":"Bernstein, A.J., \u201cOutput Guards and Nondeterminism in Communicating Sequential Processes\u201d, ACM Transactions on Programming Language and Systems, vol. 2, no. 2, pp. 234\u2013238, 1980.","journal-title":"ACM Transactions on Programming Language and Systems"},{"issue":"2","key":"25_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/69624.357208","volume":"5","author":"GN Buckley","year":"1983","unstructured":"Buckley, G.N. and Silberschatz, A., \u201cAn Effective Implementation for the Generalized Input-Output Construct of CSP\u201d, ACM Transactions on Programming Languages and Systems, vol. 5, no. 2, pp. 223\u2013235, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.1982.1653939","volume":"15","author":"AL Davis","year":"1982","unstructured":"Davis, A.L. and Keller, R.M., \u201cData Flow Program Graphs\u201d, IEEE Computer, vol. 15, no. 2, pp. 26\u201341, Feb. 1982.","journal-title":"IEEE Computer"},{"key":"25_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N Francez","year":"1986","unstructured":"Francez, N., Fairness, Springer-Verlag, New York, 1986."},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01407934","volume":"16","author":"RN Fujimoto","year":"1987","unstructured":"Fujimoto, R.N. and Hwa-chung Feng, \u201cA Shared Memory Algorithm and Proof for the Generalized Alternative Construct in CSP\u201d, International Journal of Parallel Programming, vol. 16, no. 3, pp. 215\u2013241, 1987.","journal-title":"International Journal of Parallel Programming"},{"issue":"2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1109\/TC.1983.1676201","volume":"032","author":"A Gottlieb","year":"1983","unstructured":"Gottlieb, A., Grishman, R., Kruskal, C.P., McAuliffe, Rudolph, L., and Snir, M., \u201cThe NYU Ultracomputer \u2014 Designing an MIMD Shared Memory Parallel Computer\u201d, IEEE Transactions on Computers, vol. 0\u201332, no. 2, pp. 175\u2013189, 1983.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR12","unstructured":"Govindarajan, R. and Yu. S, \u201cAttempting Guards in Parallel: A Data Flow Approach to Execute Generalized Guarded Commands\u201d, Technical Report # 273, Department of Computer Science, University of Western Ontario, London, May 1990."},{"issue":"1","key":"25_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/2465.2468","volume":"28","author":"JR Gurd","year":"1985","unstructured":"Gurd, J.R., Watson, I., and Kirkham, C.C., \u201cThe Manchester Prototype Data Flow Computer\u201d, Communications of the ACM, vol. 28, no. 1, pp. 34\u201352, 1985.","journal-title":"Communications of the ACM"},{"issue":"8","key":"25_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R., \u201cCommunicating Sequential Processes\u201d, Communications of the ACM, vol. 21, no. 8, pp. 666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1145\/357073.357077","volume":"1","author":"RB Kieburtz","year":"1979","unstructured":"Kieburtz, R.B. and Silberschatz, A., \u201cComments on Communicating Sequential Processes\u201d, ACM Transactions on Programming Language and Systems, vol.l, no. 2, pp. 218\u2013225, 1979.","journal-title":"ACM Transactions on Programming Language and Systems"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"6","author":"S Owicki","year":"1982","unstructured":"Owicki, S. and Lamport, L., \u201cProving Liveness Properties of Concurrent Programs\u201d, ACM Transactions on Programming Languages and Systems, vol. 6, no. 2, pp. 455\u2013495, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"25_CR17","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1093\/comjnl\/29.6.506","volume":"29","author":"LM Patnaik","year":"1986","unstructured":"Patnaik, L.M. and Basu, J., \u201cTwo Tools for Interprocess Communication in Distributed Data Flow Systems\u201d, The Computer Journal, vol. 29, no. 6, pp. 506\u2013521, 1986.","journal-title":"The Computer Journal"},{"key":"25_CR18","first-page":"266","volume-title":"Proc. of the 7th International Conference on Distributed Computing Systems","author":"S Ramesh","year":"1987","unstructured":"Ramesh, S., \u201cA New Implementation of CSP with Output Guards\u201d In: Proc. of the 7th International Conference on Distributed Computing Systems, pp. 266\u2013273, 1987."},{"key":"25_CR19","first-page":"36","volume-title":"Proc. of the ACM SIGMETRIC S Conference on Measuring and Modeling Computer Systems","author":"DA Reed","year":"1987","unstructured":"Reed, D.A., Malony, A.D., and McCredie, B.D., \u201cParallel Discrete Event Simulation: A Shared Memory Approach\u201d, In: Proc. of the ACM SIGMETRIC S Conference on Measuring and Modeling Computer Systems, vol. 15, no.1, pp. 36\u201338, May 1987."},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1109\/TSE.1979.230190","volume":"SE-5","author":"A Silberschatz","year":"1979","unstructured":"Silberschatz, A., \u201cCommunication and Synchronization in Distributed Systems\u201d IEEE Transactions on Software Engineering, vol.SE-5, no. 6, pp. 542\u2013546, Nov.1979.","journal-title":"IEEE Transactions on Software Engineering, vol."},{"issue":"1","key":"25_CR21","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"PC Treleaven","year":"1982","unstructured":"Treleaven, P.C., Brownbridge, D.R., and Hopkins, R.P., \u201cData-Driven and Demand-Driven Architecture\u201d, Computing Surveys, vol. 14, no. 1, pp. 93\u2013143, Mar. 1982.","journal-title":"Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Parle \u201991 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-25209-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:17:19Z","timestamp":1558019839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-25209-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783662232064","9783662252093"],"references-count":21,"aliases":["10.1007\/bfb0035116"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-25209-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}