この資料をSMS送信: An Operational Semantics for CSP