この資料をSMS送信: Partial Correctness of Communicating Processes and Protocols