Yotam M.Y.Feldman等人：证明高并发遍历是正确的。(2020) 期刊/pacmpl/FeldmanKE0NRS20 10.1145/3428196 证明高并发遍历是正确的。 7 约塔姆·M·Y·费尔德曼 1 阿特姆·库扎 2 康斯坦丁·埃纳 三 亚当·莫里森0001 4 阿列克桑达尔·纳内夫斯基 5 诺姆·里涅茨基 6 沙伦·肖姆 7 128:1-128:29 程序。ACM计划。语言。 程序。ACM计划。语言。 4 OOPSLA公司 2020 dblp记录“journals/pacmpl/FeldmanKE0NRS20”的RDF数据的来源信息 2022-10-02T15:26:02+0200