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...