Symbolic semantics for CSP