Semantics of CSP via translation into CCS