《理论计算机科学》第688卷
第688卷,2017年8月
乌里·亚伯拉罕 , 加尔·阿姆拉姆 :
两进程同步。 2-23 阿拉文德·纳塔拉扬 , 希曼舒·乔汉 , 尼拉杰·米塔尔 , 维杰·K·加格 :
谓词检测的高效抽象算法。 24-48 卡琳·阿尔蒂森 , Stéphane Devismes :
关于概率snap稳定。 49-76 奥弗·费内尔曼 , 阿莫斯·科尔曼 , 谢·库滕 , 约夫·罗德赫 :
不同速度的特工在一个周期内快速会合。 77-85 Sachin租用 , 罗伯托·帕尔米耶里 , 比诺伊·拉文德兰 :
HiperTM:高性能、容错事务内存。 86-102 彼得·库兹涅佐夫 , 萨提亚·佩里 :
事务内存中的无干扰和本地正确性。 103-116