Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity