Regular Collections of Message Sequence Charts.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Browse the full MFCS paper archive.