Compiling CSP

Barnes, Frederick R.M. (2006) Compiling CSP. In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland. (Full text available)

Download (168kB) Preview


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. The main motivation for this work is in providing a means to experiment with relatively large CSP systems, possibly consisting millions of concurrent processes --- something that is hard to achieve with the tools currently available.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: CSP, compilers, occam-pi, concurrency
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03 UTC
Last Modified: 11 Jul 2014 09:27 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year