Communicating Sequential Processes (CSP). Encyclopedia of Parallel Computing 2011: 341