Slide 1CSP Communicating Sequential Processes Prabhaker Mateti Slide 2 CSP Overview Models distributed computing – primitives: send/receive only – no shared variables…