On Monday, 31 March 2014 at 09:18:08 UTC, Russel Winder wrote: > Communicating Sequential Processes (CSP) "a formal language for describing patterns of interaction in concurrent systems"?