Communicating Sequential Processes, by Toney Hoare, is a formal description for describing patterns of interactions in concurrent systems.

Reference  edit

Communicating Sequential Processes, C.A.R. Hoare, 2004-06-21

See also  edit

csp (package)

pipethread

---