Parallel Programs and State Sequences--A Study of Interleaving Convention

• 并行程序与状态序列--交叉语义约定的研究