Frederick R.M. Barnes
Abstract
CSP, Hoare's Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs. This paper presents an alternative use for CSP, namely the compilationof CSP systems to executablecode. The main motivationfor this work is in providinga means to experimentwith relatively large CSP systems, possibly consisting millions of concurrent processes — something that is hard to achieve with the tools currently available.