并发程序流图相关硕士博士期刊学术论文

并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解......