This is me having some fun with Hoare's paper of "Communicating Sequential Processes".