Paper Details

Communicating Process Architectures (CPA)
 Title: Compiling CSP
 Conference: Communicating Process Architectures 2006
 Authors: Frederick R. M. Barnes
Computing Laboratory, University of Kent
 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 compilation of CSP systems to executable code. Themain motivation for this work is in providing a means to experimentwith relatively large CSP systems, possibly consisting millions of concurrent processes - something that is hard to achieve with the tools currently available. 
Files:


BibTeX Entry


Full paper