M. Elizabeth C. Hull R. M. McKeag Communicating Sequential Processes for Centralized and Distributed Operating System Design. 175-191 1984 6 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/2993.2381 db/journals/toplas/toplas6.html#HullM84