SMS dit: An Operational Semantics for CSP