algebraic laws for CCS