Termination in Higher-Order Concurrent Calculi