Weak Bisimulation via Generalized Parameterized Coinduction

POPL 2020