Characterizing Equivalence Notions for Labelling-Based Semantics