P. M. Lenders
-
A Generalized Message-Passing Mechanism for Communicating Sequential Processes
IEEE Transactions on Computers