Concurrent Systems

The CSP archive

The CSP archive contains information relevant to the process algebra CSP (``Communicating Sequential Processes''), originally devised by

Prof. C.A.R. Hoare. It is available via anonymous FTP. The CSP model-checking tool FDR developed by Bill Roscoe et al. and marketed by Formal Systems may be of particular interest. See also FDR2.

The original definitive book on CSP is:

Communicating Sequential Processes, C.A.R. Hoare. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 (0-13-153289-8 PBK).

See also:

Concurrent and Real-time Systems: The CSP Approach, S. Schneider. Wiley, 1999. ISBN 0-471-62373-3.

The Theory and Practice of Concurrency, A.W. Roscoe. Prentice Hall International Series in Computer Science, 1997. ISBN 0-13-674409-5.

Concurrent Systems: Formal Development in CSP, M.G. Hinchey and S.A. Jarvis. McGraw-Hill International Series in Software Engineering, 1995. ISBN 0-07-707649-4. See McGraw-Hill information.

For document preparation using LaTeX2e, the csp-cm.sty style file by Jim Davies supports typesetting of CSP and the Z notation using Computer Modern fonts. See the associated LaTeX source documentation.

See also:

Communicating Sequential Processes information from Formal Systems.
CSP and occam bibliography.
Tools for CSP.
Tools supporting CSP listed by the FME Information Resources site.
csp2B tool. Combination of CSP and B specifications.
The occam archive.
CCSP - an execution environment for CSP programs from the University of Missouri - Rolla, USA.
CCS - Calculus of Communicating Systems, a related algebra for concurrent systems.
Pi calculus, another related algebra for concurrent systems.
Occam and CSP subject area high performance computing archive.
Java Communicating Sequential Processes (JCSP) library.

Maintained by Jonathan Bowen as part of the OUCL archive.

J.P.Bowen@reading.ac.uk