Towards a formal semantics of Message Sequence Charts (1993)

by J de Man
Venue:SDL'93 Using Objects, Proceedings of the Sixth SDL Forum