1277.165 분기 이등가 (Branching Bisimulation)