Concurrency - Communicating sequential processes (Tony Hoare’s CSP paper)
1 - About
In CSP, 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.
2 - Articles Related
3 - Documentation / Reference
- 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.