この資料をSMS送信: A Theory of Communicating Sequential Processes