Seol mar théacs é seo: An Operational Semantics for CSP