發送短信: Partial Correctness of Communicating Sequential Processes