CSP Communicating Sequential Processes CSP Communicating Sequential Processes Prabhaker Mateti CSP Overview Models distributed computing primitives: send/receive only no…