An Effective Implementation for the Generalized Input-Output Construct of CSP
Gael N. Buckley, Abraham Silberschatz · ACM Transactions on Programming Languages and Systems · 1983
Writing distributed algorithms in Hoare's CSP becomes more convenient if output statements are allowed in the guards of alternative and iterative commands.The major drawbacks of the previously published implementations of this construct are discussed.Criteria for an effective implementation are presented, and an algorithm that meets these criteria is constructed.