Telefona gönder: An Operational Semantics for CSP