Oxford University Computing Laboratory Oxford OX1 3QD, England;
机译:使用TLA〜+检查缓存一致性协议
机译:正式方法论验证高速缓存一致性协议
机译:正式方法论验证高速缓存一致性协议
机译:缓存连贯协议的正确性证明
机译:部分指定的协议:寻求真实密码协议的证明。
机译:遗传性心肌病中的肌节中和:小分子概念验证可纠正对Ca2 +敏感的肌丝的纠正
机译:高速缓存一致性协议的正确性证明
机译:任意有向图自稳定分布式时钟同步协议的正确性证明