Department of Computer Science University of Pennsylvania;
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:基于界限模型检查的并发错误查找
机译:远程内存访问模型中分布式松弛并发队列的实现与分析
机译:放松内存模型上的并发数据类型的有界模型检查:一个案例研究
机译:对并发数据类型的内存模型敏感分析
机译:对预测建模研究进行系统评价的关键评估和数据提取:CHARMS清单
机译:松散内存模型上并发数据类型的有界模型检查:一个案例研究
机译:有限模型检验验证并发程序