@inproceedings{19cf9254c37b46b188be2c700178cc06,
title = "Delayed choice : an operator for joining Massage Sequence Charts",
author = "J.C.M. Baeten and S. Mauw",
year = "1995",
language = "English",
isbn = "0-412-64450-9",
series = "IFIP Conference Proceedings",
publisher = "Chapman & Hall",
pages = "340--354",
editor = "D. Hogrefe and S. Leue",
booktitle = "Formal Description Techniques VII (Proceedings of the 7th IFIP WG 6.1 International Conference, Berne, Switzerland, 1994)",
address = "United Kingdom",
}