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