Formal Methods Wiki

Virtual Library
Software engineering
Formal methods
Concurrent systems

The CSP archive

25 Years of CSP, London, UK, 7–8 July 2004

CPA2004: Communicating Process Architectures 2004, Oxford, UK, 6–8 September 2004

The CSP archive contains information relevant to the process algebra CSP (Communicating Sequential Processes), originally devised by Prof. Sir Tony 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 and other CSP software.

The original paper on CSP (now essentially of historical interest) is:

Communicating Sequential Processes, C.A.R. Hoare. Communications of the ACM 21(8):666–677, August 1978. (Reprinted in J.P. Bowen and M.G. Hinchey, High-Integrity System Specification and Design, Springer-Verlag, FACIT series, pages 303–329, 1999.)

The original definitive and classic book on CSP is:

* Communicating Sequential Processes, C.A.R. Hoare. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 (ISBN 0-13-153289-8 PBK).
3rd most cited computer science reference as listed by CiteSeer ResearchIndex.

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.

Understanding Concurrent Systems, A.W. Roscoe. Springer 2010. ISBN 978-1-84882-257-3.

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.

The Modelling and Analysis of Security Protocols: The CSP Approach, Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe and Bill Roscoe. Addison-Wesley, 2000. ISBN 0-201-67471-8.

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

See also:

Last updated by Jonathan Bowen, 26 March 2009.