From Wikipedia, the free encyclopedia. Jump to: navigation, search. In computer science, Communicating Sequential Processes (CSP) is a formal language for ... en.wikipedia.org
CSP is a language for describing patterns of interaction. A book by Tony Hoare introducing the language and the mathematical theory behind it is available in ... www.usingcsp.com
This document is an electronic version of Communicating Sequential. Processes, first published in 1985 by Prentice Hall International. It may be copied, printed ... www.usingcsp.com
composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded ... citeseerx.ist.psu.edu
Loading More Stories