Detecting Races in Ensembles of Message Sequence Charts.

Edith Elkind, Blaise Genest, Doron A. Peled

Browse the full TACAS paper archive.