并发程序复杂性度量相关论文
在并发程序复杂性度量研究中,作者曾定义了所谓B图,用以作为Ada并发程序中一种会合关系的模型.该文研究B图的一种特殊情况-BB图,一......
期刊
在并发程序复杂性度量研究中，我们曾定义了一种B图，用以作为Ada并发程序中一种会合关系的模型。我们将B图推广到BB图。n节点BB图是在......
