...
机译:验证乐观复制系统的最终一致性
message passing concurrency; model checking; static program analysis;
机译:验证乐观复制系统的最终一致性
机译:基于事务的分布式计算乐观转向中的一致性验证
机译:Geo-Replated键值存储的乐观因果关系
机译:容忍NoSQL数据库中最终一致性的聚合复制数据结构
机译:ORLEASE:使用租赁版本向量的乐观复制租赁,以便在乐观复制系统中为更高的副本副本
机译:免疫数据质量审核:验证免疫监测系统的质量和一致性。
机译:验证乐观复制系统的最终一致性