發送短信: An Operational Semantics for CSP