Characterizing Equivalence Notions for Labelling-Based Semantics

Open in new window