Race-free Scenarios of Message Sequence Charts.

Chien-An Chen, Sara Kalvala, Jane E. Sinclair

Browse the full APSEC paper archive.