{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:52:11Z","timestamp":1767916331489,"version":"3.49.0"},"reference-count":131,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1983,3,1]],"date-time":"1983-03-01T00:00:00Z","timestamp":415324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[1983,3]]},"DOI":"10.1145\/356901.356903","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:25:57Z","timestamp":1027769157000},"page":"3-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":364,"title":["Concepts and Notations for Concurrent Programming"],"prefix":"10.1145","volume":"15","author":[{"given":"Gregory R.","family":"Andrews","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Arizona, Tucson, Arizona"}]},{"given":"Fred B.","family":"Schneider","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Cornell University, Ithaca, New York"}]}],"member":"320","published-online":{"date-parts":[[1983,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.1978.234136","article-title":"Conditions for the equivalence of synchronous and asynchronous systems","volume":"6","author":"AKKOYUNLU E. A.","year":"1978","unstructured":"AKKOYUNLU , E. A. , BERNSTEIN , A. J. , SCHNEIDER , F. B. , AND SILBERSCHATZ , A. \" Conditions for the equivalence of synchronous and asynchronous systems .\" IEEE Trans. Softw. Eng. SE-4 , 6 ( Nov. 1978 ), 507 - 516 . AKKOYUNLU, E. A., BERNSTEIN, A. J., SCHNEIDER, F. B., AND SILBERSCHATZ, A. \"Conditions for the equivalence of synchronous and asynchronous systems.\" IEEE Trans. Softw. Eng. SE-4, 6 (Nov. 1978), 507-516.","journal-title":"IEEE Trans. Softw. Eng. SE-4"},{"key":"e_1_2_1_2_1","volume-title":"Proc. 6th ACM Symp. Principles of Programming Languages (San Antonio, Tex.","author":"ANDLER S.","year":"1979","unstructured":"ANDLER , S. \"Predicate path expressions.\" In Proc. 6th ACM Symp. Principles of Programming Languages (San Antonio, Tex. , Jan. 1979 ). ACM, New York , 1979, pp: 226-236. 10.1145\/567752.567774 ANDLER, S. \"Predicate path expressions.\" In Proc. 6th ACM Symp. Principles of Programming Languages (San Antonio, Tex., Jan. 1979). ACM, New York, 1979, pp: 226-236. 10.1145\/567752.567774"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/TSE.1979.234170","article-title":"The design era message switching system: An application and evaluation of Modula","volume":"2","author":"ANDREWS G.R.","year":"1979","unstructured":"ANDREWS , G.R. \" The design era message switching system: An application and evaluation of Modula .\" IEEE Trans. 8oftw. Eng. SE-5 , 2 ( March 1979 ), 138 - 147 . ANDREWS, G.R. \"The design era message switching system: An application and evaluation of Modula.\" IEEE Trans. 8oftw. Eng. SE-5, 2 (March 1979), 138-147.","journal-title":"IEEE Trans. 8oftw. Eng. SE-5"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357149"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1002\/spe.4380120804","article-title":"The distributed programming language SR--Mechanisms, design, and implementation","volume":"12","author":"ANDREWS G.R.","year":"1982","unstructured":"ANDREWS , G.R. \" The distributed programming language SR--Mechanisms, design, and implementation .\" Softw. Pract. Exper. 12 , 8 ( Aug. 1982 ), 719-754. ANDREWS, G.R. \"The distributed programming language SR--Mechanisms, design, and implementation.\" Softw. Pract. Exper. 12, 8 (Aug. 1982), 719-754.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_6_1","first-page":"114","volume-title":"ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12","author":"ANDREWS G. R.","year":"1977","unstructured":"ANDREWS , G. R. , AND McGR Aw, J .R . \"Language features for process interaction.\" In Proc . ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12 , 3 ( March 1977 ), 114 - 127 . 10.1145\/800022.808318 ANDREWS, G. R., AND McGRAw, J .R . \"Language features for process interaction.\" In Proc. ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12, 3 (March 1977), 114-127. 10.1145\/800022.808318"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/357103.357110"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0022-0000(75)80018-3","article-title":"Proving assertions about parallel programs","volume":"10","author":"ASCHCROFT E.A.","year":"1975","unstructured":"ASCHCROFT , E.A. \" Proving assertions about parallel programs .\" J. Comput. Syst. 10 ( Jan. 1975 ), 110 - 135 . ASCHCROFT, E.A. \"Proving assertions about parallel programs.\" J. Comput. Syst. 10 (Jan. 1975), 110- 135.","journal-title":"J. Comput. Syst."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1109\/TSE.1976.229890","article-title":"RIG, Rochester's intelligent gateway: System overview","volume":"4","author":"BALL E.","year":"1976","unstructured":"BALL , E. , FELDMAN , J. , Low, J,, RASHID , R. , AND ROVNER , P. \" RIG, Rochester's intelligent gateway: System overview .\" IEEE Trans. Softw. Eng. SE-2 , 4 ( Dec. 1976 ), 321 - 328 . BALL, E., FELDMAN, J., Low, J,, RASHID, R., AND ROVNER, P. \"RIG, Rochester's intelligent gateway: System overview.\" IEEE Trans. Softw. Eng. SE-2, 4 (Dec. 1976), 321-328.","journal-title":"IEEE Trans. Softw. Eng. SE-2"},{"key":"e_1_2_1_10_1","first-page":"485","volume-title":"AFIPS Spring Jt. Computer Conf. (Atlantic City, N. J.","author":"BALZER R. M.","year":"1971","unstructured":"BALZER , R. M. \" PORTS -- A method for dynamic interprogram communication and job control.\" In Proc . AFIPS Spring Jt. Computer Conf. (Atlantic City, N. J. , May 18-20, 1971 ), vol 38. AFIPS Press, Arlington, Va. , 1971, pp. 485 - 489 . BALZER, R. M. \"PORTS--A method for dynamic interprogram communication and job control.\" In Proc. AFIPS Spring Jt. Computer Conf. (Atlantic City, N. J., May 18-20, 1971), vol 38. AFIPS Press, Arlington, Va., 1971, pp. 485-489."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"BARRINGER H. AND MEARNS L \"Axioms and proof rules for Ada tasks.\" IEE Proc. 129 Pt. E 2 (March 1982) 38-48.  BARRINGER H. AND MEARNS L \"Axioms and proof rules for Ada tasks.\" IEE Proc. 129 Pt. E 2 (March 1982) 38-48.","DOI":"10.1049\/ip-e.1982.0010"},{"key":"e_1_2_1_12_1","first-page":"23","volume-title":"Proc. 6th Symp. Operating Systems Principles","author":"BASKETT F.","year":"1977","unstructured":"BASKETT , F. , HOWARD , J. H. , AND MONTAGUE , J. T. \"Task communication in DEMOS .\" In Proc. 6th Symp. Operating Systems Principles ( West Lafayette, Indiana , Nov. 16-18, 1977 ). ACM, New York, 1977, pp. 23 - 31 . 10.1145\/800214.806544 BASKETT, F., HOWARD, J. H., AND MONTAGUE, J. T. \"Task communication in DEMOS.\" In Proc. 6th Symp. Operating Systems Principles (West Lafayette, Indiana, Nov. 16-18, 1977). ACM, New York, 1977, pp. 23-31. 10.1145\/800214.806544"},{"key":"e_1_2_1_13_1","volume-title":"Principles of Concurrent Programming","author":"BEN-ARI M.","year":"1982","unstructured":"BEN-ARI , M. Principles of Concurrent Programming . Prentice-Hall , Englewood Cliffs, N. J. , 1982 . BEN-ARI, M. Principles of Concurrent Programming. Prentice-Hall, Englewood Cliffs, N. J., 1982."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/357094.357101"},{"key":"e_1_2_1_15_1","first-page":"237","article-title":"A modification of Modula","volume":"11","author":"BERNSTEIN A. J.","year":"1981","unstructured":"BERNSTEIN , A. J. , AND ENSOR , J.R. \" A modification of Modula .\" Softw. Praet. Exper. 11 ( 1981 ), 237 - 255 . BERNSTEIN, A. J., AND ENSOR, J.R. \"A modification of Modula.\" Softw. Praet. Exper. 11 (1981), 237- 255.","journal-title":"Softw. Praet. Exper."},{"key":"e_1_2_1_16_1","first-page":"537","volume-title":"Proc. 3rd Jerusalem Conf. Information Technology JCIT3. North-Holland Publ.","author":"BERNSTEIN A. J.","year":"1978","unstructured":"BERNSTEIN , A. J. , AND SCHNEIDER , F.B. \"On language restrictions to ensure deterministic behavior in concurrent systems,\" In J. Moneta (Ed.) , Proc. 3rd Jerusalem Conf. Information Technology JCIT3. North-Holland Publ. , Amsterdam , 1978 , pp. 537 - 541 . BERNSTEIN, A. J., AND SCHNEIDER, F.B. \"On language restrictions to ensure deterministic behavior in concurrent systems,\" In J. Moneta (Ed.), Proc. 3rd Jerusalem Conf. Information Technology JCIT3. North-Holland Publ., Amsterdam, 1978, pp. 537-541."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_2_1_18_1","volume-title":"North-Holland Publ.","author":"BEST E.","year":"1982","unstructured":"BEST , E. \"Relational semantics of concurrent programs (with some applications).\" In Proc. IFIP WG2.2 Conf . North-Holland Publ. , Amsterdam , 1982 . BEST, E. \"Relational semantics of concurrent programs (with some applications).\" In Proc. IFIP WG2.2 Conf. North-Holland Publ., Amsterdam, 1982."},{"key":"e_1_2_1_19_1","first-page":"24","volume-title":"Proc. 7th Symp. Operating Systems Principles (Pacific Grove, Calif.","author":"BLOOM T.","year":"1979","unstructured":"BLOOM , T. \"Evaluating synchronization mechanisms.\" In Proc. 7th Symp. Operating Systems Principles (Pacific Grove, Calif. , Dec. 10-12, 1979 ). ACM, New York , 1979, pp. 24 - 32 . 10.1145\/800215.806566 BLOOM, T. \"Evaluating synchronization mechanisms.\" In Proc. 7th Symp. Operating Systems Principles (Pacific Grove, Calif., Dec. 10-12, 1979). ACM, New York, 1979, pp. 24-32. 10.1145\/800215.806566"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/361454.361473"},{"key":"e_1_2_1_21_1","volume-title":"Operating System Principles","author":"BRINCH HANSEN P.","year":"1973","unstructured":"BRINCH HANSEN , P. Operating System Principles . Prentice-Hall , Englewood Cliffs, N. J. , 1973 . (a) BRINCH HANSEN, P. Operating System Principles. Prentice-Hall, Englewood Cliffs, N. J., 1973. (a)"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/356622.356624"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","article-title":"The programming language Concurrent Pascal","volume":"2","author":"BRINCH HANSEN P.","year":"1975","unstructured":"BRINCH HANSEN , P. \" The programming language Concurrent Pascal .\" IEEE Trans Softw. Eng. SE-1 , 2 ( June 1975 ), 199 - 206 . BRINCH HANSEN, P. \"The programming language Concurrent Pascal.\" IEEE Trans Softw. Eng. SE-1, 2 (June 1975), 199-206.","journal-title":"IEEE Trans Softw. Eng. SE-1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1002\/spe.4380060203","article-title":"The Solo operating system: Job interface","volume":"6","author":"BRINCH HANSEN P.","year":"1976","unstructured":"BRINCH HANSEN , P. \" The Solo operating system: Job interface .\" Softw. Pract. Exper. 6 ( 1976 ), 151 - 164 . (a) BRINCH HANSEN, P. \"The Solo operating system: Job interface.\" Softw. Pract. Exper. 6 (1976), 151- 164. (a)","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/spe.4380060204","article-title":"The Solo operating system: Processes, monitors, and classes","volume":"6","author":"BRINCH HANSEN P.","year":"1976","unstructured":"BRINCH HANSEN , P. \" The Solo operating system: Processes, monitors, and classes .\" Softw. Pract. Exper. 6 ( 1976 ), 165 - 200 . (b) BRINCH HANSEN, P. \"The Solo operating system: Processes, monitors, and classes.\" Softw. Pract. Exper. 6 (1976), 165-200. (b)","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_26_1","volume-title":"The Architecture of Concurrent Programs","author":"BRINCH HANSEN P.","year":"1977","unstructured":"BRINCH HANSEN , P. The Architecture of Concurrent Programs . Prentice-Hall , Englewood Cliffs, N. J. , 1977 . BRINCH HANSEN, P. The Architecture of Concurrent Programs. Prentice-Hall, Englewood Cliffs, N. J., 1977."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359642.359651"},{"key":"e_1_2_1_28_1","first-page":"4","article-title":"Edison: A multiprocessor language","volume":"11","author":"BRINCH HANSEN P.","year":"1981","unstructured":"BRINCH HANSEN , P. \" Edison: A multiprocessor language .\" Softw. Praet. Exper. 11 , 4 ( Apr. 1981 ), 325-361. BRINCH HANSEN, P. \"Edison: A multiprocessor language.\" Softw. Praet. Exper. 11, 4 (Apr. 1981), 325-361.","journal-title":"Softw. Praet. Exper."},{"key":"e_1_2_1_30_1","first-page":"89","volume-title":"Springer-Verlag","author":"CAMPBELL R. H.","year":"1974","unstructured":"CAMPBELL , R. H. , AND HABERMANN , A. N. \"The specification of process synchronization by path expressions.\" Lecture Notes in Computer Science, vol. 16 . Springer-Verlag , New York , 1974 , pp. 89 - 102 . CAMPBELL, R. H., AND HABERMANN, A. N. \"The specification of process synchronization by path expressions.\" Lecture Notes in Computer Science, vol. 16. Springer-Verlag, New York, 1974, pp. 89- 102."},{"key":"e_1_2_1_31_1","first-page":"212","volume-title":"Proc. 4th Int. Conf. on Software Eng.","author":"CAMPBELL R. H.","year":"1979","unstructured":"CAMPBELL , R. H. , AND KOLSTAD , R.B. \"Path expressions in Pascal.\" In Proc. 4th Int. Conf. on Software Eng. ( Munich , Sept. 17-19, 1979 ). IEEE, New York, 1979, pp. 212 - 219 . CAMPBELL, R. H., AND KOLSTAD, R.B. \"Path expressions in Pascal.\" In Proc. 4th Int. Conf. on Software Eng. (Munich, Sept. 17-19, 1979). IEEE, New York, 1979, pp. 212-219."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/366663.366704"},{"key":"e_1_2_1_33_1","first-page":"139","volume-title":"AFIPS Fall Jt. Computer Conf. (Las Vegas, Nev.","volume":"24","author":"CONWAY M.E.","year":"1963","unstructured":"CONWAY , M.E. \"A multiprocessor system design.\" In Proc . AFIPS Fall Jt. Computer Conf. (Las Vegas, Nev. , Nov. , 1963 ), vol. 24 . Spartan Books, Baltimore, Maryland , pp. 139 - 146 . (b) CONWAY, M.E. \"A multiprocessor system design.\" In Proc. AFIPS Fall Jt. Computer Conf. (Las Vegas, Nev., Nov., 1963), vol. 24. Spartan Books, Baltimore, Maryland, pp. 139-146. (b)"},{"key":"e_1_2_1_34_1","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/TSE.1980.234505","article-title":"*MOD--A language for distributed programming","volume":"6","author":"COOK R. P.","year":"1980","unstructured":"COOK , R. P. \" *MOD--A language for distributed programming .\" IEEE Trans. Softw. Eng. SE-6 , 6 ( Nov. 1980 ), 563 - 571 . COOK, R. P. \"*MOD--A language for distributed programming.\" IEEE Trans. Softw. Eng. SE-6, 6 (Nov. 1980), 563-571.","journal-title":"IEEE Trans. Softw. Eng. SE-6"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/362759.362813"},{"key":"e_1_2_1_36_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-10003-2_65","volume-title":"Colloquium Automata, Languages and Programming (ICALP80)","author":"COUSOT P.","year":"1980","unstructured":"COUSOT , P. , AND COUSOT , R. \"Semantic analysis of communicating sequential processes.\" In Proc. 7th Int. Colloquium Automata, Languages and Programming (ICALP80) , Lecture Notes in Computer Science , vol. 85 . Springer-Verlag , New York , 1980 , pp. 119 - 133 . COUSOT, P., AND COUSOT, R. \"Semantic analysis of communicating sequential processes.\" In Proc. 7th Int. Colloquium Automata, Languages and Programming (ICALP80), Lecture Notes in Computer Science, vol. 85. Springer-Verlag, New York, 1980, pp. 119-133."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/363095.363143"},{"key":"e_1_2_1_39_1","volume-title":"Programming Languages","author":"DIJKSTRA E. W.","year":"1968","unstructured":"DIJKSTRA , E. W. \"Cooperating sequential processes.\" In F. Genuys (Ed.), Programming Languages . Academic Press , New York , 1968 . (b) DIJKSTRA, E. W. \"Cooperating sequential processes.\" In F. Genuys (Ed.), Programming Languages. Academic Press, New York, 1968. (b)"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_2_1_41_1","volume-title":"A Discipline of Programming","author":"DIJKSTRA E. W.","year":"1976","unstructured":"DIJKSTRA , E. W. A Discipline of Programming . Prentice-Hall, Englewood Cliffs , N. J. , 1976 . DIJKSTRA, E. W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N. J., 1976."},{"key":"e_1_2_1_42_1","unstructured":"DIJKSTRA E.W. \"An assertional proof of a program by G. L. Peterson.\" EWD 779 (Feb. 1979) Nuenen The Netherlands. (a)  DIJKSTRA E.W. \"An assertional proof of a program by G. L. Peterson.\" EWD 779 (Feb. 1979) Nuenen The Netherlands. (a)"},{"key":"e_1_2_1_43_1","volume-title":"Oct.","author":"DIJKSTRA E. W.","year":"1981","unstructured":"DIJKSTRA , E. W. Personal communication , Oct. 1981 . (b) DIJKSTRA, E. W. Personal communication, Oct. 1981. (b)"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/359114.359127"},{"key":"e_1_2_1_45_1","first-page":"141","volume-title":"ACM Conf. Data, SIGPLAN Not. 8, 2 (March","author":"FLON L.","year":"1976","unstructured":"FLON , L. , AND HABERMANN , A. N. \"Towards the construction of verifiable software systems.\" In Proc . ACM Conf. Data, SIGPLAN Not. 8, 2 (March 1976 ), 141 - 148 . 10.1145\/800237.807132 FLON, L., AND HABERMANN, A. N. \"Towards the construction of verifiable software systems.\" In Proc. ACM Conf. Data, SIGPLAN Not. 8, 2 (March 1976), 141-148. 10.1145\/800237.807132"},{"key":"e_1_2_1_46_1","first-page":"19","volume-title":"Am. Math. Soc. Symp. Applied Mathematics","volume":"19","author":"FLOYD R.W.","year":"1967","unstructured":"FLOYD , R.W. \"Assigning meanings to programs.\" In Proc . Am. Math. Soc. Symp. Applied Mathematics , vol. 19 , pp. 19 - 31 , 1967 . FLOYD, R.W. \"Assigning meanings to programs.\" In Proc. Am. Math. Soc. Symp. Applied Mathematics, vol. 19, pp. 19-31, 1967."},{"key":"e_1_2_1_47_1","first-page":"10","volume-title":"Symp. Principles of Distributed Computing","author":"GELERNTER D.","year":"1982","unstructured":"GELERNTER , D. , AND BERNSTEIN , A.J. \"Distributed communication via global buffer.\" In Proc . Symp. Principles of Distributed Computing ( Ottawa, Canada , Aug. 18-20, 1982 ). ACM, New York, 1982, pp. 10 - 18 . 10.1145\/800220.806676 GELERNTER, D., AND BERNSTEIN, A.J. \"Distributed communication via global buffer.\" In Proc. Symp. Principles of Distributed Computing (Ottawa, Canada, Aug. 18-20, 1982). ACM, New York, 1982, pp. 10-18. 10.1145\/800220.806676"},{"key":"e_1_2_1_48_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/BFb0012774","volume-title":"Colloquium Automata, Languages and Programming (ICALP82)","author":"GERTH R.","year":"1982","unstructured":"GERTH , R. \"A sound and complete Hoare axiomatization of the Ada-rendezvous.\" In Proc. 9th Int. Colloquium Automata, Languages and Programming (ICALP82) , Lecture Notes in Computer Science , vol. 140 . Springer-Verlag , New York , 1982 , pp. 252 - 264 . GERTH, R. \"A sound and complete Hoare axiomatization of the Ada-rendezvous.\" In Proc. 9th Int. Colloquium Automata, Languages and Programming (ICALP82), Lecture Notes in Computer Science, vol. 140. Springer-Verlag, New York, 1982, pp. 252-264."},{"key":"e_1_2_1_49_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-11494-7_11","volume-title":"Symp. Programming","author":"GERTH R.","year":"1982","unstructured":"GERTH , R. , DE ROEVER , W. P. , AND RONCKEN , M. \"Procedures and concurrency : A study in proof.\" In 5th Int . Symp. Programming , Lecture Notes in Computer Science , vol. 137 . Springer- Verlag , New York , 1982 , pp. 132 - 163 . GERTH, R., DE ROEVER, W. P., AND RONCKEN, M. \"Procedures and concurrency: A study in proof.\" In 5th Int. Symp. Programming, Lecture Notes in Computer Science, vol. 137. Springer- Verlag, New York, 1982, pp. 132-163."},{"key":"e_1_2_1_50_1","first-page":"42","volume-title":"6th ACM Symp. Principles of Programming Languages","author":"GOOD D. I.","year":"1979","unstructured":"GOOD , D. I. , COHEN , R. M. , AND KEETON-WILLIAMS , J. \"Principles of proving concurrent programs in Gypsy.\" In Proc . 6th ACM Symp. Principles of Programming Languages ( San Antonio, Texas , Jan. 29-31, 1979 ). ACM, New York, 1979, pp. 42 - 52 . 10.1145\/567752.567757 GOOD, D. I., COHEN, R. M., AND KEETON-WILLIAMS, J. \"Principles of proving concurrent programs in Gypsy.\" In Proc. 6th ACM Symp. Principles of Programming Languages (San Antonio, Texas, Jan. 29-31, 1979). ACM, New York, 1979, pp. 42- 52. 10.1145\/567752.567757"},{"key":"e_1_2_1_51_1","volume-title":"Carnegie-Mellon Univ.","author":"HABERMANN A. N.","year":"1975","unstructured":"HABERMANN , A. N. \"Path expressions.\" Dep. of Computer Science , Carnegie-Mellon Univ. , Pittsburgh, Pennsylvania , June , 1975 . HABERMANN, A. N. \"Path expressions.\" Dep. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pennsylvania, June, 1975."},{"key":"e_1_2_1_52_1","unstructured":"HABERMANN A. N. AND NASSI I.R. \"Efficient implementation of Ada tasks.\" Tech. Rep. CMU- CS-80-103 Carnegie-Mellon Univ. Jan. 1980.  HABERMANN A. N. AND NASSI I.R. \"Efficient implementation of Ada tasks.\" Tech. Rep. CMU- CS-80-103 Carnegie-Mellon Univ. Jan. 1980."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/850648.850650"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359502"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_56_1","first-page":"61","volume-title":"Operating Systems Techniques","author":"HOARE C. A.","year":"1972","unstructured":"HOARE , C. A. R. \"Towards a theory of parallel programming.\" In C. A. R. Hoare and R. H. Perrott (Eds.), Operating Systems Techniques . Academic Press , New York , 1972 , pp. 61 - 71 . HOARE, C. A.R. \"Towards a theory of parallel programming.\" In C. A. R. Hoare and R. H. Perrott (Eds.), Operating Systems Techniques. Academic Press, New York, 1972, pp. 61-71."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/358549.358561"},{"key":"e_1_2_1_60_1","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1002\/spe.4380100802","article-title":"An assessment of Modula","volume":"10","author":"HOLDEN J.","year":"1980","unstructured":"HOLDEN , J. , AND WAND , I. C. \" An assessment of Modula .\" Softw. Pract. Exper. 10 ( 1980 ), 593 - 621 . HOLDEN, J., AND WAND, I. C. \"An assessment of Modula.\" Softw. Pract. Exper. 10 (1980), 593- 621.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_61_1","volume-title":"Structured Concurrent Programming with Operating Systems Applications","author":"HOLT R. C.","year":"1978","unstructured":"HOLT , R. C. , GRAHAM , G. S. , LAZOWSKA , E. D. , AND SCOTT , M.A. Structured Concurrent Programming with Operating Systems Applications . Addison-Wesley , Reading, Mass ., 1978 . HOLT, R. C., GRAHAM, G. S., LAZOWSKA, E. D., AND SCOTT, M.A. Structured Concurrent Programming with Operating Systems Applications. Addison-Wesley, Reading, Mass., 1978."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360079"},{"key":"e_1_2_1_63_1","first-page":"47","volume-title":"Proc. 2nd Int. Conf. Software Engineering","author":"HOWARD J.H.","year":"1976","unstructured":"HOWARD , J.H. \"Signaling in monitors.\" In Proc. 2nd Int. Conf. Software Engineering ( San Francisco , Oct. 13-15, 1976 ). IEEE, New York, 1976, pp. 47 - 52 . (b) HOWARD, J.H. \"Signaling in monitors.\" In Proc. 2nd Int. Conf. Software Engineering (San Francisco, Oct. 13-15, 1976). IEEE, New York, 1976, pp. 47- 52. (b)"},{"key":"e_1_2_1_64_1","first-page":"736","volume-title":"IEEE","author":"JAZAYERL M.","year":"1980","unstructured":"JAZAYERL M. , CSP \/80 : A language for communicating processes.\" In Proc. Fall IEEE COMPCON80 (Sept. 1980) . IEEE , New York , 1980 , pp. 736 - 740 . JAZAYERL M., et al. \"CSP\/80: A language for communicating processes.\" In Proc. Fall IEEE COMPCON80 (Sept. 1980). IEEE, New York, 1980, pp. 736-740."},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/356810.356813"},{"key":"e_1_2_1_66_1","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/spe.4380060307","article-title":"Quasiparallel programming","volume":"6","author":"KAUBISCH W. H.","year":"1976","unstructured":"KAUBISCH , W. H. , PERROTT , R. H. , AND HOARE , C. A. R. \" Quasiparallel programming .\" Softw. Pract. Exper. 6 ( 1976 ), 341 - 356 . KAUBISCH, W. H., PERROTT, R. H., AND HOARE, C. A. R. \"Quasiparallel programming.\" Softw. Pract. Exper. 6 (1976), 341-356.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/850652.850654"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359710"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357077"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356845"},{"key":"e_1_2_1_72_1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","article-title":"Proving the correctness of nmltiprocess programs","volume":"2","author":"LAMPORT L.","year":"1977","unstructured":"LAMPORT , L. \" Proving the correctness of nmltiprocess programs .\" IEEE Trans. Softw. Eng. SE-3 , 2 ( March 1977 ), 125 - 143 . LAMPORT, L. \"Proving the correctness of nmltiprocess programs.\" IEEE Trans. Softw. Eng. SE-3, 2 (March 1977), 125-143.","journal-title":"IEEE Trans. Softw. Eng. SE-3"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00289062","article-title":"The 'Hoare logic' of concurrent programs","volume":"14","author":"LAMPORT L.","unstructured":"LAMPORT , L. \" The 'Hoare logic' of concurrent programs .\" Acta Inform. 14 , 21 - 37 . (a) LAMPORT, L. \"The 'Hoare logic' of concurrent programs.\" Acta Inform. 14, 21-37. (a)","journal-title":"Acta Inform."},{"key":"e_1_2_1_74_1","volume-title":"Calif.","author":"LAMPOHT L.","year":"1980","unstructured":"LAMPOHT , L. \"The mutual exclusion problem.\" Op. 56, SRI International, Menlo ParK , Calif. , Oct. 1980 . (b) LAMPOHT, L. \"The mutual exclusion problem.\" Op. 56, SRI International, Menlo ParK, Calif., Oct. 1980. (b)"},{"key":"e_1_2_1_75_1","volume-title":"Cornell Univ.","author":"LAMPORT L.","year":"1982","unstructured":"LAMPORT , L. , AND SCHNEIDER , F. B. \"The 'H oare logic' of CSP , and all that.\" Tech. Rep. TR 82- 490, Dep. Computer Sci ., Cornell Univ. , May , 1982 . LAMPORT, L., AND SCHNEIDER, F. B. \"The 'Hoare logic' of CSP, and all that.\" Tech. Rep. TR 82- 490, Dep. Computer Sci., Cornell Univ., May, 1982."},{"key":"e_1_2_1_76_1","volume-title":"Lecture Notes in Computer Science, col. 105","author":"LAMPSON B.W.","year":"1981","unstructured":"LAMPSON , B.W. \"Atomic transactions.\" In Distributed Systems--Architecture and Implementation , Lecture Notes in Computer Science, col. 105 . Springer-Verlag , New York , 1981 . LAMPSON, B.W. \"Atomic transactions.\" In Distributed Systems--Architecture and Implementation, Lecture Notes in Computer Science, col. 105. Springer-Verlag, New York, 1981."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/358818.358824"},{"key":"e_1_2_1_78_1","unstructured":"LAMPSON B. W. AND STURGIS H.E. \"Crash recovery in a distributed data storage system.\" Xerox Palo Alto Research Center Apr. 1979.  LAMPSON B. W. AND STURGIS H.E. \"Crash recovery in a distributed data storage system.\" Xerox Palo Alto Research Center Apr. 1979."},{"key":"e_1_2_1_79_1","volume-title":"2nd Int. Symp. Operating Systems (IRIA","author":"LAUER H. C.","year":"1978","unstructured":"LAUER , H. C. , AND NEEDHAM , R.M. \"On the duality of operating system structures.\" In Proc . 2nd Int. Symp. Operating Systems (IRIA , Paris , Oct. 1978 ); reprinted in Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. 10.1145\/850657.850658 LAUER, H. C., AND NEEDHAM, R.M. \"On the duality of operating system structures.\" In Proc. 2nd Int. Symp. Operating Systems (IRIA, Paris, Oct. 1978); reprinted in Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. 10.1145\/850657.850658"},{"key":"e_1_2_1_80_1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","article-title":"Formal semantics of a class of high level primitives for coordinating concurrent processes","volume":"5","author":"LAUER P. E.","year":"1975","unstructured":"LAUER , P. E. , AND CAMPBELL , R.H. \" Formal semantics of a class of high level primitives for coordinating concurrent processes .\" Acta Inform. 5 ( 1975 ), 297 - 332 . LAUER, P. E., AND CAMPBELL, R.H. \"Formal semantics of a class of high level primitives for coordinating concurrent processes.\" Acta Inform. 5 (1975), 297-332.","journal-title":"Acta Inform."},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/954587.954591"},{"key":"e_1_2_1_82_1","series-title":"Lecture Notes in Computer Science, col. 115","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-10843-2_22","volume-title":"justice and fairness: The ethics of concurrent termination.\" Automata, Languages and Programming","author":"LEHMANN D.","year":"1981","unstructured":"LEHMANN , D. , PNUELI , A. , AND STAVI , J. \"Impartiality , justice and fairness: The ethics of concurrent termination.\" Automata, Languages and Programming , Lecture Notes in Computer Science, col. 115 . Springer-Verlag , New York , 1981 , pp. 264 - 277 . LEHMANN, D., PNUELI, A., AND STAVI, J. \"Impartiality, justice and fairness: The ethics of concurrent termination.\" Automata, Languages and Programming, Lecture Notes in Computer Science, col. 115. Springer-Verlag, New York, 1981, pp. 264-277."},{"key":"e_1_2_1_83_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","article-title":"A proof technique for communicating sequential processes","volume":"15","author":"LEVIN G. M.","year":"1981","unstructured":"LEVIN , G. M. , AND GRIES , D. \" A proof technique for communicating sequential processes .\" Acta Inform. 15 ( 1981 ), 281 - 302 . LEVIN, G. M., AND GRIES, D. \"A proof technique for communicating sequential processes.\" Acta Inform. 15 (1981), 281-302.","journal-title":"Acta Inform."},{"key":"e_1_2_1_84_1","first-page":"53","volume-title":"IEEE Symp. Reliability in Distributed Software and Database Systems","author":"LISKOV B.L.","year":"1981","unstructured":"LISKOV , B.L. \"On linguistic support for distributed programs.\" In Proc . IEEE Symp. Reliability in Distributed Software and Database Systems ( Pittsburgh , July 21-22, 1981 ). IEEE, New York, 1981, pp. 53 - 60 . LISKOV, B.L. \"On linguistic support for distributed programs.\" In Proc. IEEE Symp. Reliability in Distributed Software and Database Systems (Pittsburgh, July 21-22, 1981). IEEE, New York, 1981, pp. 53-60."},{"key":"e_1_2_1_85_1","first-page":"7","volume-title":"9th ACM Symp. Principles of Programming Languages","author":"LISKOV B. L.","year":"1982","unstructured":"LISKOV , B. L. , AND SCHEIFLER , R. \"Guardians and actions : Linguistic support for robust, distributed programs.\" In Proc . 9th ACM Symp. Principles of Programming Languages ( Albuquerque, New Mexico , Jan. 25-27, 1982 ). ACM, New York, 1982, pp. 7 - 19 . 10.1145\/582153.582155 LISKOV, B. L., AND SCHEIFLER, R. \"Guardians and actions: Linguistic support for robust, distributed programs.\" In Proc. 9th ACM Symp. Principles of Programming Languages (Albuquerque, New Mexico, Jan. 25-27, 1982). ACM, New York, 1982, pp. 7-19. 10.1145\/582153.582155"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/850644.850645"},{"key":"e_1_2_1_87_1","first-page":"173","volume-title":"Proc. 6th ACM Symp. Operating Systems Principles (West Lafayette, Ind.","author":"LOEHR K.-P.","year":"1977","unstructured":"LOEHR , K.-P. \"Beyond Concurrent Pascal.\" In Proc. 6th ACM Symp. Operating Systems Principles (West Lafayette, Ind. , Nov. 16-18, 1977 ). ACM, New York , 1977, pp. 173 - 180 . 10.1145\/800214.806561 LOEHR, K.-P. \"Beyond Concurrent Pascal.\" In Proc. 6th ACM Symp. Operating Systems Principles (West Lafayette, Ind., Nov. 16-18, 1977). ACM, New York, 1977, pp. 173-180. 10.1145\/800214.806561"},{"key":"e_1_2_1_88_1","first-page":"128","volume-title":"ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12","author":"LOMET D.B.","year":"1977","unstructured":"LOMET , D.B. \"Process structuring, synchronization , and recovery using atomic transactions.\" In Proc . ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12 , 3 ( March 1977 ), 128 - 137 . 10.1145\/800022.808319 LOMET, D.B. \"Process structuring, synchronization, and recovery using atomic transactions.\" In Proc. ACM Conf. Language Design for Reliable Software, SIGPLAN Not. 12, 3 (March 1977), 128- 137. 10.1145\/800022.808319"},{"key":"e_1_2_1_89_1","volume-title":"Georgia Tech.","author":"LYNCH N.A.","year":"1981","unstructured":"LYNCH , N.A. \"Multilevel atomicity--A new correctness criterion for distributed databases.\" Tech. Rep. GIT-ICS-81\/05, School of Information and Computer Sciences , Georgia Tech. , May 1981 . LYNCH, N.A. \"Multilevel atomicity--A new correctness criterion for distributed databases.\" Tech. Rep. GIT-ICS-81\/05, School of Information and Computer Sciences, Georgia Tech., May 1981."},{"key":"e_1_2_1_90_1","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TSE.1980.230470","article-title":"Communication port: A language concept for concurrent programming","volume":"2","author":"MAO T. W.","year":"1980","unstructured":"MAO , T. W. , AND YEH , R.T. \" Communication port: A language concept for concurrent programming .\" IEEE Trans. Softw. Eng. SE-6 , 2 ( March 1980 ), 194 - 204 . MAO, T. W., AND YEH, R.T. \"Communication port: A language concept for concurrent programming.\" IEEE Trans. Softw. Eng. SE-6, 2 (March 1980), 194-204.","journal-title":"IEEE Trans. Softw. Eng. SE-6"},{"key":"e_1_2_1_91_1","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","article-title":"Proofs of networks of processes","volume":"4","author":"MISRA J.","year":"1981","unstructured":"MISRA , J. , AND CHANDY , K. \" Proofs of networks of processes .\" IEEE Trans. Softw. Eng. SE-7 , 4 ( July 1981 ), 417 - 426 . MISRA, J., AND CHANDY, K. \"Proofs of networks of processes.\" IEEE Trans. Softw. Eng. SE-7, 4 (July 1981), 417-426.","journal-title":"IEEE Trans. Softw. Eng. SE-7"},{"key":"e_1_2_1_92_1","first-page":"201","volume-title":"Principles of Distributed Computing","author":"MISRA J.","year":"1982","unstructured":"MISRA , J. , CHANDY , K. M. , AND SMITH , T. \"Proving safety and liveness of communicating processes with examples.\" In Proc. Symp , Principles of Distributed Computing ( Ottawa, Canada , Aug. 18-20, 1982 ). ACM, New York, 1982, pp. 201 - 208 . 10.1145\/800220.806698 MISRA, J., CHANDY, K. M., AND SMITH, T. \"Proving safety and liveness of communicating processes with examples.\" In Proc. Symp, Principles of Distributed Computing (Ottawa, Canada, Aug. 18-20, 1982). ACM, New York, 1982, pp. 201-208. 10.1145\/800220.806698"},{"key":"e_1_2_1_93_1","volume-title":"version 5.0.\" Rep. CSL-79-3","author":"MITCHELL J. G.","year":"1979","unstructured":"MITCHELL , J. G. , MAYBURY , W. , AND SWEET , R. \"Mesa language manual , version 5.0.\" Rep. CSL-79-3 , Xerox Paid Alto Research Center , Apr. 1979 . MITCHELL, J. G., MAYBURY, W., AND SWEET, R. \"Mesa language manual, version 5.0.\" Rep. CSL-79-3, Xerox Paid Alto Research Center, Apr. 1979."},{"key":"e_1_2_1_94_1","volume-title":"Dep. of Computer Science","author":"NELSON B.J.","year":"1981","unstructured":"NELSON , B.J. \"Remote procedure call.\" Ph. D. thesis. Rep. CMU-CS-81-119 , Dep. of Computer Science , Carnegie-Mellon Univ. , May 1981 . NELSON, B.J. \"Remote procedure call.\" Ph.D. thesis. Rep. CMU-CS-81-119, Dep. of Computer Science, Carnegie-Mellon Univ., May 1981."},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/960118.808391"},{"key":"e_1_2_1_96_1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","article-title":"An axiomatic proof technique for parallel programs","volume":"6","author":"OWICKI S, S","year":"1976","unstructured":"OWICKI , S, S ., AND GRIES , D. \" An axiomatic proof technique for parallel programs .\" Acta Inform. 6 ( 1976 ), 319 - 340 . (a) OWICKI, S, S., AND GRIES, D. \"An axiomatic proof technique for parallel programs.\" Acta Inform. 6 (1976), 319-340. (a)","journal-title":"Acta Inform."},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/775323.775324"},{"key":"e_1_2_1_100_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0020-0190(81)90106-X","article-title":"Myths about the mutual exclusion problem","volume":"12","author":"PETERSON G.L.","year":"1981","unstructured":"PETERSON , G.L. \" Myths about the mutual exclusion problem .\" Inform. Process. Lett. 12 , 3 ( June 1981 ), 115-116. PETERSON, G.L. \"Myths about the mutual exclusion problem.\" Inform. Process. Lett. 12, 3 (June 1981), 115-116.","journal-title":"Inform. Process. Lett."},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/357353.357355"},{"key":"e_1_2_1_102_1","volume-title":"Rep. CMU-CS- 80-142, Dep. of Computer Science","author":"REID L. G.","year":"1980","unstructured":"REID , L. G. \"Control and communication in programmed systems.\" Ph. D. thesis , Rep. CMU-CS- 80-142, Dep. of Computer Science , Carnegie-Mel- Ion Univ. , Sept. 1980 . REID, L. G. \"Control and communication in programmed systems.\" Ph.D. thesis, Rep. CMU-CS- 80-142, Dep. of Computer Science, Carnegie-Mel- Ion Univ., Sept. 1980."},{"key":"e_1_2_1_103_1","first-page":"46","volume-title":"9th ACM Conf. Principles of Programming Languages","author":"REIF J. H.","year":"1982","unstructured":"REIF , J. H. , AND SPIRAKIS , P.G. \"Unbounded speed variability in distributed communications systems.\" In Proc . 9th ACM Conf. Principles of Programming Languages ( Albuquerque, N. M. , Jan. 25-27, 1982 ). ACM, New York, 1982, pp. 46 - 56 . 10.1145\/582153.582159 REIF, J. H., AND SPIRAKIS, P.G. \"Unbounded speed variability in distributed communications systems.\" In Proc. 9th ACM Conf. Principles of Programming Languages (Albuquerque, N. M., Jan. 25-27, 1982). ACM, New York, 1982, pp. 46- 56. 10.1145\/582153.582159"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"},{"key":"e_1_2_1_105_1","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1002\/spe.4380111105","article-title":"A communicating sequential process language and implementation","volume":"11","author":"ROPER T. J.","year":"1981","unstructured":"ROPER , T. J. , AND BARTER , C.J. \" A communicating sequential process language and implementation .\" Softw. Pract. Exper. 11 ( 1981 ), 1215 - 1234 . ROPER, T. J., AND BARTER, C.J. \"A communicating sequential process language and implementation.\" Softw. Pract. Exper. 11 (1981), 1215-1234.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_106_1","volume-title":"Cornell Univ.","author":"SCHLICHTING R. D.","year":"1981","unstructured":"SCHLICHTING , R. D. , AND SCHNEIDER , F. B. \"An approach to designing fault-tolerant computing systems.\" Tech. Rep. TR 81-479, Dep. of Computer Sci ., Cornell Univ. , Nov. 1981 , SCHLICHTING, R. D., AND SCHNEIDER, F. B. \"An approach to designing fault-tolerant computing systems.\" Tech. Rep. TR 81-479, Dep. of Computer Sci., Cornell Univ., Nov. 1981,"},{"key":"e_1_2_1_108_1","first-page":"141","volume-title":"Symp. Principles of Distributed Computing","author":"SCHLICHTING R. D.","year":"1982","unstructured":"SCHLICHTING , R. D. , AND SCHNEIDER , F. B. \"Understanding and using asynchronous message passing primitives.\" In Proc . Symp. Principles of Distributed Computing ( Ottawa, Canada , Aug. 18-20, 1982 ). ACM, New York, 1982, pp. 141 - 147 . (b) 10.1145\/800220.806691 SCHLICHTING, R. D., AND SCHNEIDER, F. B. \"Understanding and using asynchronous message passing primitives.\" In Proc. Symp. Principles of Distributed Computing (Ottawa, Canada, Aug. 18-20, 1982). ACM, New York, 1982, pp. 141- 147. (b) 10.1145\/800220.806691"},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357163"},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1145\/775332.775335"},{"key":"e_1_2_1_111_1","volume-title":"of Artificial Intelligence","author":"SCHWARTZ J. S.","year":"1978","unstructured":"SCHWARTZ , J. S. \"Distributed synchronization of communicating sequential processes.\" Tech. Rep., Dep. of Artificial Intelligence , Univ. of Edinburgh , July 1978 . SCHWARTZ, J. S. \"Distributed synchronization of communicating sequential processes.\" Tech. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, July 1978."},{"key":"e_1_2_1_112_1","volume-title":"The Logical Design of Operating Systems","author":"SHAW A.C.","year":"1974","unstructured":"SHAW , A.C. The Logical Design of Operating Systems . Prentice-Hall, Englewood Cliffs , N. J. , 1974 . SHAW, A.C. The Logical Design of Operating Systems. Prentice-Hall, Englewood Cliffs, N. J., 1974."},{"key":"e_1_2_1_113_1","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-46430-0_10","volume-title":"Software Development Tools","author":"SHAW A.C.","year":"1980","unstructured":"SHAW , A.C. \"Software specification languages based on regular expressions.\" In W. E. Riddle and R. E. Fairley (Eds.), Software Development Tools . Springer-Verlag , New York , 1980 , pp. 148 - 175 . SHAW, A.C. \"Software specification languages based on regular expressions.\" In W. E. Riddle and R. E. Fairley (Eds.), Software Development Tools. Springer-Verlag, New York, 1980, pp. 148-175."},{"key":"e_1_2_1_114_1","series-title":"Lecture Notes in Computer Science","first-page":"249","volume-title":"Semantics of Concurrent Computation","author":"SHIELDS M. W.","unstructured":"SHIELDS , M. W. \"Adequate path expressions.\" In Proc. Int. Symp. Semantics of Concurrent Computation , Lecture Notes in Computer Science , vol. 70 . Springer-Verlag , New York , pp. 249 - 265 . SHIELDS, M. W. \"Adequate path expressions.\" In Proc. Int. Symp. Semantics of Concurrent Computation, Lecture Notes in Computer Science, vol. 70. Springer-Verlag, New York, pp. 249-265."},{"key":"e_1_2_1_115_1","first-page":"514","volume-title":"Proc. COMPSAC '77-- IEEE Computer Society Computer Software and Applications Conference","author":"SILBERSCHATZ A.","year":"1977","unstructured":"SILBERSCHATZ , A. \"On the input\/output mechanism in Concurrent Pascal.\" In Proc. COMPSAC '77-- IEEE Computer Society Computer Software and Applications Conference ( Chicago, Ill. , Nov. 1977 ). IEEE, New York, 1977, pp. 514 - 518 . SILBERSCHATZ, A. \"On the input\/output mechanism in Concurrent Pascal.\" In Proc. COMPSAC '77-- IEEE Computer Society Computer Software and Applications Conference (Chicago, Ill., Nov. 1977). IEEE, New York, 1977, pp. 514-518."},{"key":"e_1_2_1_116_1","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/TSE.1979.230190","article-title":"Communication and synchronization in distributed programs","volume":"6","author":"SILBERSCHATZ A.","year":"1979","unstructured":"SILBERSCHATZ , A. \" Communication and synchronization in distributed programs .\" IEEE Trans. Softw. Eng. SE-5 , 6 ( Nov. 1979 ), 542 - 546 . SILBERSCHATZ, A. \"Communication and synchronization in distributed programs.\" IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 542-546.","journal-title":"IEEE Trans. Softw. Eng. SE-5"},{"key":"e_1_2_1_117_1","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TSE.1977.231130","article-title":"Extending Concurrent Pascal to allow dynamic resource management","volume":"3","author":"SILBERSCHATZ A.","year":"1977","unstructured":"SILBERSCHATZ , A. , KIEBURTZ , R. B. , AND BERNSTEIN , A.J. \" Extending Concurrent Pascal to allow dynamic resource management .\" IEEE Trans. Softw. Eng. SE-3 , 3 ( May 1977 ), 210 - 217 . SILBERSCHATZ, A., KIEBURTZ, R. B., AND BERNSTEIN, A.J. \"Extending Concurrent Pascal to allow dynamic resource management.\" IEEE Trans. Softw. Eng. SE-3, 3 (May 1977), 210-217.","journal-title":"IEEE Trans. Softw. Eng. SE-3"},{"key":"e_1_2_1_118_1","first-page":"108","volume-title":"7th Symp. Operating System Principles (Pacific Grove, Calif.","author":"SOLOMON M. H.","year":"1979","unstructured":"SOLOMON , M. H. , AND FINKEL , R.A. \"The Roscoe distributed operating system.\" In Proc . 7th Symp. Operating System Principles (Pacific Grove, Calif. , Dec. 10-12, 1979 ). ACM, New York , 1979, pp. 108 - 114 . 10.1145\/800215.806577 SOLOMON, M. H., AND FINKEL, R.A. \"The Roscoe distributed operating system.\" In Proc. 7th Symp. Operating System Principles (Pacific Grove, Calif., Dec. 10-12, 1979). ACM, New York, 1979, pp. 108-114. 10.1145\/800215.806577"},{"key":"e_1_2_1_119_1","volume-title":"Ohio State Univ.","author":"SOUNDARARAJAN N.","year":"1981","unstructured":"SOUNDARARAJAN , N. \"Axiomatic semantics of communicating sequential processes.\" Tech. Rep., Dep. of Computer and Information Science , Ohio State Univ. , 1981 . SOUNDARARAJAN, N. \"Axiomatic semantics of communicating sequential processes.\" Tech. Rep., Dep. of Computer and Information Science, Ohio State Univ., 1981."},{"key":"e_1_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1145\/358468.358478"},{"key":"e_1_2_1_121_1","series-title":"Lecture Notes in Computer Science","volume-title":"DEPARTMENT OF DEFENSE. Programming Language Ada: Reference Manual","author":"S.","year":"1981","unstructured":"U. S. DEPARTMENT OF DEFENSE. Programming Language Ada: Reference Manual , vol. 106 , Lecture Notes in Computer Science . Springer-Verlag , New York , 1981 . U.S. DEPARTMENT OF DEFENSE. Programming Language Ada: Reference Manual, vol. 106, Lecture Notes in Computer Science. Springer-Verlag, New York, 1981."},{"key":"e_1_2_1_122_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0020-0190(81)90126-5","article-title":"Synchronous communication between synchronization components","volume":"13","author":"VAN DE SNEPSCHEUT J. L.","year":"1981","unstructured":"VAN DE SNEPSCHEUT , J. L. A. \" Synchronous communication between synchronization components .\" Inform. Process. Lett. 13 , 3 ( Dec. 1981 ), 127-130. VAN DE SNEPSCHEUT, J. L.A. \"Synchronous communication between synchronization components.\" Inform. Process. Lett. 13, 3 (Dec. 1981), 127-130.","journal-title":"Inform. Process. Lett."},{"key":"e_1_2_1_123_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00265077","article-title":"Revised report on the algorithm language ALGOL68","volume":"5","author":"VAN WIJNGAARDEN A.","year":"1975","unstructured":"VAN WIJNGAARDEN , A. , MAILLOUX , B. J. , PECK , J. L. , KOSTER , C. H. A., SINTZOFF , M. , LINDSEY , C. H. , MEERTENS , L. G. L. T., AND FISKER , R. G. \" Revised report on the algorithm language ALGOL68 .\" Acta Inform. 5 , 1 - 3 ( 1975 ), 1-236. VAN WIJNGAARDEN, A., MAILLOUX, B. J., PECK, J. L., KOSTER, C. H. A., SINTZOFF, M., LINDSEY, C. H., MEERTENS, L. G. L. T., AND FISKER, R. G. \"Revised report on the algorithm language ALGOL68.\"Acta Inform. 5, 1-3 (1975), 1-236.","journal-title":"Acta Inform."},{"key":"e_1_2_1_124_1","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1983.234781","article-title":"Processes, tasks and monitors: A comparative study of concurrent programming primitives","author":"WEGNER P.","year":"1983","unstructured":"WEGNER , P. , AND SMOLKA , S.A. \" Processes, tasks and monitors: A comparative study of concurrent programming primitives .\" IEEE Trans. Softw. Eng., to appear , 1983 . WEGNER, P., AND SMOLKA, S.A. \"Processes, tasks and monitors: A comparative study of concurrent programming primitives.\" IEEE Trans. Softw. Eng., to appear, 1983.","journal-title":"IEEE Trans. Softw. Eng., to appear"},{"key":"e_1_2_1_125_1","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1002\/spe.4380091109","article-title":"Pascal-Plus--Another language for modular multiprogramming","volume":"9","author":"WELSH J.","year":"1979","unstructured":"WELSH , J. , AND BUSTARD , D.W. \" Pascal-Plus--Another language for modular multiprogramming .\" Softw. Pract. Exper. 9 ( 1979 ), 947 - 957 . WELSH, J., AND BUSTARD, D.W. \"Pascal-Plus--Another language for modular multiprogramming.\" Softw. Pract. Exper. 9 (1979), 947-957.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_126_1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1002\/spe.4380110305","article-title":"A comparative study of task communication in Ada","volume":"11","author":"WELSH J.","year":"1981","unstructured":"WELSH , J. , AND LISTER , A. \" A comparative study of task communication in Ada .\" Softw. Pract. Exper. 11 ( 1981 ), 257 - 290 . WELSH, J., AND LISTER, A. \"A comparative study of task communication in Ada.\" Softw. Pract. Exper. 11 (1981), 257-290.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_127_1","doi-asserted-by":"publisher","DOI":"10.1145\/775323.775325"},{"key":"e_1_2_1_128_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/spe.4380070102","article-title":"Modula: A language for modular multiprogramming","volume":"7","author":"WIRTH N.","year":"1977","unstructured":"WIRTH , N. \" Modula: A language for modular multiprogramming .\" Softw. Pract. Exper. 7 ( 1977 ), 3 - 35 . (a) WIRTH, N. \"Modula: A language for modular multiprogramming.\" Softw. Pract. Exper. 7 (1977), 3- 35. (a)","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_129_1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/spe.4380070103","article-title":"The use of ModulE","volume":"7","author":"WIRTH N.","year":"1977","unstructured":"WIRTH , N. \" The use of ModulE .\" Softw. Pract. Exper. 7 ( 1977 ), 37 - 65 . (b) WIRTH, N. \"The use of ModulE.\" Softw. Pract. Exper. 7 (1977), 37-65. (b)","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_130_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/spe.4380070104","article-title":"Design and implementation of Modula","volume":"7","author":"WIRTH NT.","year":"1977","unstructured":"WIRTH , 1 NT. \" Design and implementation of Modula .\" Softw. Pract Exper , 7 ( 1977 ), 67 - 84 . (c) WIRTH, 1NT. \"Design and implementation of Modula.\" Softw. Pract Exper, 7 (1977), 67-84. (c)","journal-title":"Softw. Pract Exper"},{"key":"e_1_2_1_131_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359798"},{"key":"e_1_2_1_132_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming in Modula-2","author":"WIRTH N.","year":"1982","unstructured":"WIRTH , N. Programming in Modula-2 . Springer- Verlag , New York , 1982 . WIRTH, N. Programming in Modula-2. Springer- Verlag, New York, 1982."},{"key":"e_1_2_1_133_1","doi-asserted-by":"publisher","DOI":"10.1145\/362919.362936"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/356901.356903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/356901.356903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:04Z","timestamp":1750186804000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/356901.356903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,3]]},"references-count":131,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,3]]}},"alternative-id":["10.1145\/356901.356903"],"URL":"https:\/\/doi.org\/10.1145\/356901.356903","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,3]]},"assertion":[{"value":"1983-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}