Anfonwch hwn fel neges destun: An Operational Semantics for CSP