A calculus of contracting processes