Anfonwch hwn fel neges destun: Partial Correctness of Communicating Sequential Processes