A. Roscoe, Oxford University Computing Laboratory

Published November, 1997 by Prentice Hall PTR (ECS Professional)

Copyright 1998, 512 pp.
Paper
ISBN 0-13-674409-5
$66.00

Sign up for future
mailings on this subject.

See other books about:
    Parallel/Concurrent Programming

Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book gives you the fundamental grasp of CSP concepts you'll need to take advantage of those tools.

Part I provides a detailed foundation for working with CSP, using as little mathematics as possible. It introduces the ideas behind operational, denotational and algebraic models of CSP. Parts II and III go into greater detail about theory and practice. Topics include: parallel operators, hiding and renaming, piping and enslavement, buffers and communication, termination and sequencing, and semantic theory. Three detailed practical case studies are also presented.



A complete guide to the theory and practice of the Hoares CSP concurrency notation.

• Includes 3 complete case studies showing real-world, industrial-strength applications.

• Covers both introductory and advanced concepts - with extensive exercises and examples.

• Introduces and applies semantic theory.