Products of Message Sequence Charts.

Philippe Darondeau, Blaise Genest, Loc Hlout

Browse the full FOSSACS paper archive.