PseuCo Compiler to CCS