提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2010-00911AU-Feldman，Yotam M.Y。AU-科扎阿特姆澳大利亚-埃纳，君士坦丁澳大利亚——亚当·莫里森澳大利亚——阿列克桑达尔·纳内夫斯基AU-诺姆·里内茨基澳大利亚-沙龙绍姆TI-证明高并发遍历正确。JO-CoRR公司VL-abs/2010.009112020年上半年//UR-（欧元）https://arxiv.org/abs/2010.00911呃-