Գրեք սա: An Operational Semantics for CSP