Wyślij wiadomość: An Operational Semantics for CSP