Enviar por SMS: An Operational Semantics for CSP