Products of Message Sequence Charts [chapter]

Philippe Darondeau, Blaise Genest, Loïc Hélouët
Foundations of Software Science and Computational Structures  
doi:10.1007/978-3-540-78499-9_32 dblp:conf/fossacs/DarondeauGH08 fatcat:e66qy2ajt5cqzcahxjiryi5jdm