Login / Signup
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications.
Xiaofang Qi
Baowen Xu
Published in:
International Conference on Computational Science (2004)
Keyphrases
</>
concurrent programs
state space
metamodel