Proof techniques for CCS