Stav dette: CSP Is a Retract of CCS