Quantifying the Discord: Order Discrepancies in Message Sequence Charts.

Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini

Browse the full ATVA paper archive.