Weak Bisimulation via Generalized Parameterized Coinduction