Reading material
C. A. R. Hoare. Communicating sequential processes.
Communications of the ACM
, 21(8):666-677, August 1978.