Race Conditions in Message Sequence Charts.

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

Browse the full APLAS paper archive.