CSP

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

Reference

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

See also

csp (package)
pipethread