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

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