Separation and Reduction
Separation and Reduction
复制标题
分离与还原
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Ernie Cohen
中科院分区：
文献类型：
--
作者：
Ernie Cohen
我们提出了一些新的定理，相当于一个较强的迭代序列组成的迭代，并使用这些定理来简化和推广一些已知的技术，假装原子并发程序。
We present some new theorems that equate an iteration to a sequential composition of stronger iterations, and use these theorems to simplify and generalize a number of known techniques for pretending atomicity in concurrent programs.