Відправити по sms: An Operational Semantics for CSP