Negation operator in CCS and PCC