CCP Calculus