इसका टेक्स्ट मैसेज भेजे: Partial Correctness of Communicating Sequential Processes