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.