CSP: Communicating Sequential Processes

• Sequential process aspects: single thread of control, autonomous, encapsulated, named, static.
• Communication aspects: synchronous, reliable, unidirectional, point-to-point, fixed topology.
• Syntax:

  

• Rendezvous semantics: Senders remain blocked at the send until a matching receive operation is made and vice versa.
• A limitation: Each process must be named and programmed for.