{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T02:24:22Z","timestamp":1768271062536,"version":"3.49.0"},"publisher-location":"New York, NY, USA","edition-number":"1","reference-count":20,"publisher":"ACM","isbn-type":[{"value":"9781450387286","type":"print"}],"license":[{"start":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T00:00:00Z","timestamp":1633132800000},"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":[],"published-print":{"date-parts":[[2021,10,4]]},"DOI":"10.1145\/3477355.3477364","type":"book-chapter","created":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T05:44:55Z","timestamp":1633239895000},"page":"157-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Communicating Sequential Processes"],"prefix":"10.1145","author":[{"given":"C.A.R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2021,10,2]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"M.I.T.","author":"Atkinson R.","year":"1976","unstructured":"Atkinson , R. , and Hewitt , C . Synchronisation in actor systems. Working Paper 83 , M.I.T. , Cambridge , Mass ., Nov. 1976 . Atkinson, R., and Hewitt, C. Synchronisation in actor systems. Working Paper 83, M.I.T., Cambridge, Mass., Nov. 1976."},{"key":"e_1_3_2_1_2_2","first-page":"2","article-title":"The programming language Concurrent Pascal","volume":"1","author":"Brinch Hansen P","year":"1975","unstructured":"Brinch Hansen , P . The programming language Concurrent Pascal . IEEE Trans. Software Eng. 1 , 2 ( June 1975 ), 199\u2013207. Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. Software Eng. 1, 2 (June 1975), 199\u2013207.","journal-title":"IEEE Trans. Software Eng."},{"key":"e_1_3_2_1_3_2","series-title":"Lecture Notes in Computer Science 16","first-page":"102","volume-title":"The specification of process synchronisation by path expressions","author":"Campbell R.H.","year":"1974","unstructured":"Campbell , R.H. , and Habermann , A.N . The specification of process synchronisation by path expressions . Lecture Notes in Computer Science 16 , Springer , 1974 , pp. 89\u2013 102 . Campbell, R.H., and Habermann, A.N. The specification of process synchronisation by path expressions. Lecture Notes in Computer Science 16, Springer, 1974, pp. 89\u2013102."},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/366663.366704"},{"key":"e_1_3_2_1_5_2","volume-title":"common base language","author":"Dahl O-J.","year":"1967","unstructured":"Dahl , O-J. , , common base language . Norwegian Computing Centre , Forskningveien, Oslo , 1967 . Dahl, O-J., et al. SIMULA 67, common base language. Norwegian Computing Centre, Forskningveien, Oslo, 1967."},{"key":"e_1_3_2_1_6_2","first-page":"112","volume-title":"Co-operating sequential processes","author":"Dijkstra E.W.","year":"1968","unstructured":"Dijkstra , E.W. Co-operating sequential processes . In Programming Languages, F. Genuys, Ed., Academic Press , New York , 1968 , pp. 43\u2013 112 . Dijkstra, E.W. Co-operating sequential processes. In Programming Languages, F. Genuys, Ed., Academic Press, New York, 1968, pp. 43\u2013112."},{"key":"e_1_3_2_1_7_2","first-page":"82","volume-title":"Structured Programming","author":"Dijkstra E.W.","year":"1972","unstructured":"Dijkstra , E.W. Notes on structured programming . In Structured Programming , Academic Press , New York 1972 , pp. 1\u2013 82 . Dijkstra, E.W. Notes on structured programming. In Structured Programming, Academic Press, New York 1972, pp. 1\u201382."},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_9_2","volume-title":"Marktoberdorf","author":"Dijkstra E.W.","year":"1975","unstructured":"Dijkstra , E.W. Verbal communication , Marktoberdorf , Aug. 1975 . Dijkstra, E.W. Verbal communication, Marktoberdorf, Aug. 1975."},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_6"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_1_12_2","volume-title":"Proc. IFIP Congress 74","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. The semantics of a simple language for parallel programming . In Proc. IFIP Congress 74 , North Holland , 1974 . Kahn, G. The semantics of a simple language for parallel programming. In Proc. IFIP Congress 74, North Holland, 1974."},{"key":"e_1_3_2_1_13_2","volume-title":"A note on CLU","author":"Liskov B.H.","year":"1974","unstructured":"Liskov , B.H. A note on CLU . Computation Structures Group Memo . 112, M.I.T., Cambridge, Mass, 1974 . Liskov, B.H. A note on CLU. Computation Structures Group Memo. 112, M.I.T., Cambridge, Mass, 1974."},{"key":"e_1_3_2_1_14_2","unstructured":"McIlroy M.D. Coroutines. Bell Laboratories Murray Hill N.J. 1968.  McIlroy M.D. Coroutines. Bell Laboratories Murray Hill N.J. 1968."},{"key":"e_1_3_2_1_15_2","first-page":"5","article-title":"Report on the algorithmic language ALGOL 60","volume":"3","author":"Naur P.","year":"1960","unstructured":"Naur , P. , Ed . Report on the algorithmic language ALGOL 60 . Comm. ACM 3 , 5 ( May 1960 ), 299\u2013314. Naur, P., Ed. Report on the algorithmic language ALGOL 60. Comm. ACM 3, 5 (May 1960), 299\u2013314.","journal-title":"Comm. ACM"},{"key":"e_1_3_2_1_16_2","volume-title":"Argonne, Ill.","author":"Reynolds J.C. COGENT.","year":"1965","unstructured":"Reynolds , J.C. COGENT. ANL-7022, Argonne Nat . Lab ., Argonne, Ill. , 1965 . Reynolds, J.C. COGENT. ANL-7022, Argonne Nat. Lab., Argonne, Ill., 1965."},{"key":"e_1_3_2_1_17_2","first-page":"384","volume-title":"Structured Programming, Infotech","author":"Thompson K.","year":"1976","unstructured":"Thompson , K. The UNIX command language . In Structured Programming, Infotech , Nicholson House , Maidenhead, England , 1976 , pp. 375\u2013 384 . Thompson, K. The UNIX command language. In Structured Programming, Infotech, Nicholson House, Maidenhead, England, 1976, pp. 375\u2013384."},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.5555\/1098667"},{"key":"e_1_3_2_1_19_2","volume-title":"Abstraction and verification in ALPHARD. Dept. of Comptr. Sci","author":"Wulf W.A.","year":"1976","unstructured":"Wulf , W.A. , London , R.L. , and Shaw , M . Abstraction and verification in ALPHARD. Dept. of Comptr. Sci ., Carnegie-Mellon U. , Pittsburgh, Pa ., June 1976 . Wulf, W.A., London, R.L., and Shaw, M. Abstraction and verification in ALPHARD. Dept. of Comptr. Sci., Carnegie-Mellon U., Pittsburgh, Pa., June 1976."},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264288"}],"container-title":["Theories of Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477355.3477364","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477355.3477364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:32Z","timestamp":1750188632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477355.3477364"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,2]]},"ISBN":["9781450387286"],"references-count":20,"alternative-id":["10.1145\/3477355.3477364","10.1145\/3477355"],"URL":"https:\/\/doi.org\/10.1145\/3477355.3477364","relation":{},"subject":[],"published":{"date-parts":[[2021,10,2]]},"assertion":[{"value":"2021-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}