Communicating Sequential Processes (CSP), by C. A. R. Hoare (Electronic Version)
Description
excerpt from site's contentCommunicating Sequential Processes CSP 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 The book Communicating Sequential Processes was first published in by Prentice Hall In...
This is an automatically generated AboutUs page for Usingcsp.com. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.
