发送短信: Partial Correctness of Communicating Processes and Protocols