Regular collections of Message Sequence Charts (2000)

by J G Henriksen, M Mukund, K Narayan Kumar, P S Thiagarajan
Venue:In Proceedings of the 25th MFCS International Symposium, number 1893 in LNCS