Title: Characteristic Formulae for CCS with Divergence