Concurrency - Communicating sequential processes (Tony Hoare’s CSP paper)


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.

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.

Powered by ComboStrap