Race Conditions in Message Sequence Charts.

Chien-An Chen Sara Kalvala Jane E. Sinclair

Published in: APLAS (2005)

Keyphrases

email
sufficient conditions
computer vision
data sets
decision making
long sequences
database
real time
web pages
knowledge base
three dimensional
mobile devices
digital images
sequence analysis