CSP Is a Retract of CCS - He, J; Hoare, C (Springer, 2006)