Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation