On Strong Observational Refinement and Forward Simulation
On Strong Observational Refinement and Forward Simulation
复制标题
关于强观测细化和正演模拟
DOI：
10.48550/arxiv.2107.14509
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Derrick J
中科院分区：
文献类型：
--
作者：
Derrick J
非阻塞 k 比较单交换
DOI：
--
发表时间：
2003
期刊：
ACM Symposium on Parallelism in Algorithms and Architectures
影响因子：
--
作者：
Victor Luchangco;Mark Moir;N. Shavit
通讯作者：
N. Shavit
通过非原子细化证明线性化
DOI：
10.1007/978-3-540-73210-5_11
发表时间：
2007
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. Derrick;G. Schellhorn;H. Wehrheim
通讯作者：
H. Wehrheim
将强线性化置于上下文中：在使用并发对象的程序中保留超属性
DOI：
10.4230/lipics.disc.2019.2
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
H. Attiya;C. Enea
通讯作者：
C. Enea