This is the third time this week that I've read or heard about Communicating Sequential Processes (CSP), the formal programming language devised by Sir Tony Hoare.

Third time's a charm. Definitely going to have to investigate.