Yahoo! Research Barcelona, Spain;
Yahoo! Research Barcelona, Spain;
eventual linearizability; master-worker schemes; availability;
机译:金属屋顶用于在顶篷和度假村之间建立一致性
机译:分区一致性:内存一致性较弱并证明其实现正确性的建模系统中的案例研究
机译:高阶连续时间隐式系统-一致性和弱一致性,脉冲可控性,几何概念和可推广性
机译:弱势作为最后一度假村
机译:安全地编程弱(强)一致性
机译:老年髋部骨折患者血浆样本中的精神药物和弱阿片类镇痛药–检测频率和与药物记录的一致性
机译:在弱存储器一致性下的图书馆正确性:在声明性一致性模型下指定和验证并发库
机译:线性微分代数方程和时不变奇异系统的可解性条件,一致性和弱相合性:一般情形。