The following books have been published that provide additional information about CSP and concurrent systems design. If you see errors in this list, or know of other books we might consider listing, please write to the webmaster at the address below.
Books about CSP
Communicating Sequential Processes, C.A.R Hoare, 280 pages (new edition, 1 February, 1986), Prentice Hall; ISBN: 0131532898. A PDF version of the book is now available.
Specification and Proof in Real Time CSP, Jim Davies, 198 pages 1st Ed (20 May, 1993). Cambridge University Press; ISBN: 0521450551
Probabilities and Priorities in Timed CSP, G Lowe, (November 1993), University of Oxford Computing Lab, Programming Research Gp.; ISBN: 0902928880
Introduction to Timed CSP, J Davies, S Schneider, (August 1989) University of Oxford Computing Lab, Programming Research Gp.; ISBN: 0902928570
Concurrent and Real Time Systems: The CSP Approach, Schnieder, Steve, 526 pages, John Wiley & Sons Incorporated, ISBN: 0471623733
Modelling and Analysis of Security Protocols, Gavin Lowe, S. A. Schneider, Bill Roscoe, M. H. Goldsmith, P. Y. A. Ryan, G. Lowe, A.W. Roscoe, 352 pages 1st (21 December, 2000) Addison-Wesley Professional; ISBN: 0201674718
A Classical Mind: Essays in Honour of C.A.R. Hoare, W. Roscoe (Ed), 445 pages, Prentice Hall; ISBN: 0132948443
The Theory and Practice of Concurrency, A.W. Roscoe, 450 pages, Prentice-Hall; ISBN: 0136744095
Books on the occam language
Occam-2, John Galletly, 292 pages 2nd Ed (26 September, 1996), University College London Press; ISBN: 1857283627
Programming in occam 2 Geraint Jones and Michael Goldsmith, 1988, Prentice-Hall International; ISBN: 0137262582
Books on concurrent programs
Parallel Processing with Communicating Process Architecture, Ian East, (1995) University College London Press; ISBN: 1857282396
Theory and Practice of Concurrency, Roscoe, A., 512 pages (1998), Prentice Hall; ISBN: 0136744095
Real Time Systems and Programming Languages 3rd Ed, Alan Burns, 784 pages (January 2001), Addison-Wesley Longman, Inc., ISBN: 0201729881
Page last modified on 6th April 2008
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org