Anfonwch hwn fel neges destun: A Theory of Communicating Sequential Processes