A race condition graph for concurrent program behavior.

Yan Chen Yann-Hang Lee W. Eric Wong Donghui Guo

Published in: ISKE (2008)

Keyphrases

sufficient conditions
graph representation
graph model
concurrent programs
graph structures
graph theoretic
graph databases
graph structure
graph theory
website
weighted graph
real time
graph partitioning
human behavior
case study
graphical representation
qualitative simulation
stable set
data sets