Stav dette: An Operational Semantics for CSP