Operational semantics for MSC’96 (1999)

by S Mauw, M Reniers
Venue:Computer Networks and ISDN Systems