An Effective Implementation for the Generalized Input-Output Construct of CSP

Abstract

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.