發送短信: Semantics of Nondeterminism‚ Concurrency and Communication