9. Translation into CCS