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