Textmeddelande: CSP Is a Retract of CCS