PPT Slide
MSCs encoding => from a MSC we derive the trace (set of regular languages)
We analyze traces to identify the kind of communications (1to2, 2to1, concurrent, non-deterministic), we build Interaction Pairs to record this information
We use IP to build the QNM topology