The George Washington University.;
机译:使用局部全局谓词验证分布式系统
机译:使用时钟检测分布式系统中的全局谓词
机译:使用全局谓词测试和调试分布式程序
机译:带有小故障的分布式系统中的全局谓词检测
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:国际骨科注册机构联合会的结果:全球上市后监测的创新分布式研究网络:使用六个国家和地区注册机构进行的髋关节植入物的分布式分析:金属对金属与金属对高度交联聚乙烯轴承的比较骨无水泥全髋关节置换术
机译:与并发错误检测系统中的Summation的Modulo代码。 II。并发错误检测系统硬件冗余的减少。
机译:全局谓词的一致检测