发送短信 : Semantics of concurrent computation :