Delayed choice: An operator for joining Message Sequence Charts (1994)

by J Baeten, S Mauw
Venue:Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques