Comments on “Communicating Sequential Processes”

DOI10.1145/357073.357077zbMath0455.68022OpenAlexW2126643714MaRDI QIDQ3904044

Richard B. Kieburtz, Abraham Silberschatz

Publication date: 1979

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357073.357077

zbMATH Keywords

synchronizationconcurrencymessage-passinginterprocess communication

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

A shared memory algorithm and proof for the generalized alternative construct in CSP ⋮ Breaking symmetries ⋮ Attempting guards in parallel: A data flow approach to execute generalized guarded commands

This page was built for publication: Comments on “Communicating Sequential Processes”