Termination Analysis for the Π-Calculus by Reduction to Sequential Program Termination