论文部分内容阅读
在并发程序复杂性度量研究中，我们曾定义了一种B图，用以作为Ada并发程序中一种会合关系的模型。我们将B图推广到BB图。n节点BB图是在n个节点的串联树上再添加若干条边，其约束条件是：每个节点的入度不大于二，每个节点的出度也不大于二。给出BB图的若干若干枚举特征，指出同第二类Stiding数的密切关系。