{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T15:40:09Z","timestamp":1735659609236,"version":"3.32.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf01421675","type":"journal-article","created":{"date-parts":[[2005,4,11]],"date-time":"2005-04-11T23:49:57Z","timestamp":1113263397000},"page":"225-268","source":"Crossref","is-referenced-by-count":1,"title":["Attempting guards in parallel: A data flow approach to execute generalized guarded commands"],"prefix":"10.1007","volume":"21","author":[{"given":"R.","family":"Govindarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Lakshmanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"CR1","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, Communicating Sequential Processes,Commun. of the ACM 21(8):666?677 (August 1978).","journal-title":"Commun. of the ACM"},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1145\/357094.357101","volume":"2","author":"A. J. Bernstein","year":"1980","unstructured":"A. J. Bernstein, Output Guards and Nondeterminism in Communicating Sequential Processes.ACM Trans. on Programming Lang. and Syst. 2(2):234?238 (April 1980).","journal-title":"ACM Trans. on Programming Lang. and Syst."},{"issue":"2","key":"CR3","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/69624.357208","volume":"5","author":"G. N. Buckley","year":"1983","unstructured":"G. N. Buckley and A. Silberschatz, An Effective Implementation for the Generalized Input Output Construct of CSP,ACM Trans. on Programming Lang. and Syst.5(2):233?235 (1983).","journal-title":"ACM Trans. on Programming Lang. and Syst"},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/357073.357077","volume":"1","author":"R. B. Kieburtz","year":"1979","unstructured":"R. B. Kieburtz and A. Silberschatz, Comments on Communicating Sequential Processes,ACM Trans. on Programming Lang. and Syst. 1(2):218?225 (October 1979).","journal-title":"ACM Trans. on Programming Lang. and Syst."},{"key":"CR5","unstructured":"S. Ramesh, A New Implementation of CSP with Ourput Guards,Proc. of the 7th Int'l. Conf. on Distr. Comput. Syst., pp. 266?273 (1987)."},{"issue":"6","key":"CR6","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/TSE.1979.230190","volume":"5","author":"A. Silberschatz","year":"1979","unstructured":"A. Silberschatz, Communication and Synchronization in Distributed Systems,IEEE Trans. on Software Engineering SE-5(6):542?546 (November 1979).","journal-title":"IEEE Trans. on Software Engineering"},{"key":"CR7","series-title":"Technical Report, Ser. A","volume-title":"A Fair and Efficient Implementation of CSP with Output Guards","author":"R. J. R. Back","year":"1984","unstructured":"R. J. R. Back, P. Ekslund, and R. Kurki-Suonia. A Fair and Efficient Implementation of CSP with Output Guards, Technical Report, Ser. A, No. 38, Abo Akademic, Finland (1984)."},{"key":"CR8","unstructured":"R. Bagrodia, A Distributed Algorithm to Implement the Generalized Alternative Command in CSP,Proc. of the 6th Int'l. Conf. on Distr. Comput. Syst., pp. 422?427 (1986)."},{"issue":"3","key":"CR9","first-page":"215","volume":"16","author":"R. N. Fujimoto","year":"1987","unstructured":"R. N. Fujimoto and Hwa-chung Feng, A Shared Memory Algorithm and Proof for the Generalized Alternative Construct in CSP.IJPP 16(3):215?241 (1987).","journal-title":"IJPP"},{"issue":"4","key":"CR10","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1145\/69558.69561","volume":"11","author":"R. Bagrodia","year":"1989","unstructured":"R. Bagrodia, Synchronization of Asynchronous Processes in CSP,ACM Trans. on Programming Lang. and Syst. 11(4):585?597 (October 1989).","journal-title":"ACM Trans. on Programming Lang. and Syst."},{"issue":"1","key":"CR11","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P. C. Treleaven","year":"1982","unstructured":"P. C. Treleaven, D. R. Brownbridge, and R. P. Hopkins, Data-Driven and Demand-Driven Architecture,Computing Surveys 14(1):93?143 (March 1982).","journal-title":"Computing Surveys"},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/2465.2468","volume":"28","author":"J. R. Gurd","year":"1985","unstructured":"J. R. Gurd, I. Watson, and C. C. Kirkham, The Manchester Prototype Data Flow Computer,Comm. of the ACM 28(1):34?52 (January 1985).","journal-title":"Comm. of the ACM"},{"issue":"2","key":"CR13","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.1982.1653939","volume":"15","author":"A. L. Davis","year":"1982","unstructured":"A. L. Davis and R. M. Keller, Data Flow Program Graphs,IEEE Computer 15(2):26?41 (February 1982).","journal-title":"IEEE Computer"},{"issue":"11","key":"CR14","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MC.1980.1653418","volume":"13","author":"J. B. Dennis","year":"1980","unstructured":"J. B. Dennis, Data Flow Supercomputers,IEEE Computer 13(11):48?56 (November 1980).","journal-title":"IEEE Computer"},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.1982.1653940","volume":"15","author":"Arvind","year":"1982","unstructured":"Arvind and K. P. Gostelow, The U Interpreter,IEEE Computer 15(2):42?49 (February 1982).","journal-title":"IEEE Computer"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/TC.1983.1676201","volume":"32","author":"A. Gottlieb","year":"1983","unstructured":"A. Gottlieb, R. Grishman, C. P. Kruskal, L. Rudolph, and M. Snir, The NYU Ultracomputer?Designing an MIMD Shared Memory Parallel Computer,IEEE Trans. on Computers C-32(2):175?189 (February 1983).","journal-title":"IEEE Trans. on Computers"},{"issue":"6","key":"CR17","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1093\/comjnl\/29.6.506","volume":"29","author":"L. M. Patnaik","year":"1986","unstructured":"L. M. Patnaik and J. Basu, Two Tools for Interprocess Communication in Distributed Data Flow Systems,The Computer Journal 29(6): 506?521 (December 1986).","journal-title":"The Computer Journal"},{"issue":"2","key":"CR18","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"6","author":"S. Owicki","year":"1982","unstructured":"S. Owicki and L. Lamport, Proving Liveness Properties of Concurrent Programs,ACM Trans. on Programming Lang. and Syst. 6(2):455?495 (July 1982).","journal-title":"ACM Trans. on Programming Lang. and Syst."},{"issue":"1","key":"CR19","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/29904.29910","volume":"15","author":"D. A. Reed","year":"1987","unstructured":"D. A. Reed, A. D. Malony, and B. D. McCredie, Parallel Discrete Event Simulation: A Shared Memory Approach,Proc. of the ACM Sigmetrics Conf. on Measuring and Modeling Computer Systems 15(1):36?38 (May 1987).","journal-title":"Proc. of the ACM Sigmetrics Conf. on Measuring and Modeling Computer Systems"},{"key":"CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"N. Francez,Fairness, Springer-Verlag, New York (1986)."},{"key":"CR21","unstructured":"J. R. Gurd and I. Watson, Data-Driven Systems for High Speed Parallel Computing: Part 2: Hardware Design,Computer Design, pp. 97?106 (July 1980)."},{"issue":"5","key":"CR22","first-page":"218","volume":"128","author":"J. G. D. Silva de","year":"1981","unstructured":"J. G. D. de Silva and J. V. Woods, Design of a Processing System for the Manchester Data Flow Computer,IEEE Proceedings 128(5):218?224 (September 1981).","journal-title":"IEEE Proceedings"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"D. E. Culler and Arvind, Resource Requirements of Data Flow Programs,15th Ann. Int'l. Symp. on Computer Architecture pp. 141?150 (1988).","DOI":"10.1145\/633625.52417"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"H. Feng and R. M. Fujimoto, A Shared Memory Algorithm and Performance Evaluation of the Generalized Alternative Construct in CSP,Int'l. Conf. on Parallel Processing, pp. 176?180 (1988).","DOI":"10.21236\/ADA203009"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"R. A. Iannucci, Toward a Data Flow\/von Neumann Hybrid Architecture,15th Ann. Int'l. Symp. on Computer Architecture, pp. 131?140 (1988).","DOI":"10.1145\/633625.52416"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01421675.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01421675\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01421675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T15:02:43Z","timestamp":1735657363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01421675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF01421675"],"URL":"https:\/\/doi.org\/10.1007\/bf01421675","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}