A Calculus of Contracting Processes