About
In the CSP model, a program is a parallel composition of processes that have no shared state; the processes communicate and synchronize using channels.
Hoare’s CSP is a formal language for describing the fundamental concepts of concurrency, not a programming language for writing executable programs.
Articles Related
Documentation / Reference
- wiki/Communicating_sequential_processes - Tony Hoare’s CSP paper
- Donovan, Alan A. A.; Kernighan, Brian W. (2015-11-16). The Go Programming Language (Addison-Wesley Professional Computing Series) . Pearson Education. Kindle Edition.