Functions as Processes: Termination and the lambda mu mu~ - Calculus