Communicating Sequential Processes for Centralized and Distributed Operating System Design

DOI10.1145/2993.2381zbMath0536.68016OpenAlexW2055244898MaRDI QIDQ3321432

R. M. McKeag, M. Elizabeth C. Hull

Publication date: 1984

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

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

zbMATH Keywords

distributed systemsprogram designparallel programming

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Communicating Sequential Processes for Centralized and Distributed Operating System Design