A Non-Interleaving Semantics for MSC. 1st (1998)

by S Heymer
Venue:Workshop of the SDL Forum Society on SDL and MSC