Loops, ditopology and deadlocks.

Lisbeth Fajstrup

Published in: Math. Struct. Comput. Sci. (2000)

Keyphrases

static analysis
deadlock detection
decision making
multimedia
feature vectors
low cost
decision makers
text classification