この資料をSMS送信: Semantics of Nondeterminism‚ Concurrency and Communication