Αποστολή με SMS: An Operational Semantics for CSP