Compiling CSP

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

PDF
Download (114Kb)	Preview

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. 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 > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User:	Mark Wheadon
Date Deposited:	24 Nov 2008 18:03
Last Modified:	06 Sep 2011 01:32
Resource URI:	http://kar.kent.ac.uk/id/eprint/14415 (The current URI for this page, for reference purposes)

• Depositors only (login required):