Resumptions,Weak Bisimilarity and Big-Step Semantics