• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Software Engineering ▶ Communicating Sequential Processes

Communicating Sequential Processes

March 24, 2006

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. This book can be downloaded in pdf format.

Book Description

This is a book for the aspiring programmer, the programmer who aspires to greater understanding and skill in the practice of an intellectually demanding profession. It is designed to appeal first to a natural sense of curiosity, which is aroused by a new approach to a familiar topic. The approach is illustrated by a host of examples drawn from a wide range of applications, from vending machines through fairy stories and games to computer operating systems.
The treatment is based on a mathematical theory, which is described by a systematic collection of algebraic laws.
The ultimate objective of the book is to convey an insight which will enable the reader to see both current and future problems in a fresh light, in which they can be more efficiently and more reliably solved; and even better, they can sometimes be avoided.

Table of Contents

  • Processes
  • Concurrency
  • Nondeterminism
  • Communication
  • Sequential Processes
  • Shared Resources
  • Discussion

Download Free PDF / Read Online

Author(s): C. A. R. Hoare
Format(s): PDF
File size: 1.22 MB
Number of pages: 260
Link: Download.

Similar Books:

  1. Parallel Complexity Theory
  2. Karel J. Robot
  3. A Practical Theory of Programming
  4. Motion Mountain The Free Physics Textbook
  5. Recurrent Neural Networks
Previous Post: « Advanced Linux Programming
Next Post: Rethinking Public Key Infrastructures and Digital Certificates »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2025 OnlineProgrammingBooks.com