Skip to main content

Compiling CSP

Barnes, Frederick R.M. (2006) Compiling CSP. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, pp. 377-388. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14415)

PDF
Language: English
Download (168kB) Preview
[thumbnail of Compiling_CSP.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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: Book section
Uncontrolled keywords: CSP, compilers, occam-pi, concurrency
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14415 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year