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

> (Data|State) Management and Processing > (Concurrency|Parallel|Asynchronous) programming

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.

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.
Advertising
data/concurrency/csp.txt · Last modified: 2017/10/27 15:54 by gerardnico