Seol mar théacs é seo: Partial Correctness of Communicating Sequential Processes