In the CSP model, a program is a parallel composition of processes that have no shared state; the processes communicate and synchronize using channels.
Hoare’s CSP is a formal language for describing the fundamental concepts of concurrency, not a programming language for writing executable programs.