伊利亚·谢尔盖 设计我们可以信任(也可以运行)的分布式系统。 (英语) Zbl 07298691号 Nowak,Thomas(编辑),第38届ACM分布式计算原理研讨会论文集,PODC’19,加拿大安大略省多伦多,2019年7月29日至8月2日。纽约州纽约市:计算机协会(ACM)。306 (2019). MSC公司: 64岁以下 分布式系统 68宽15 分布式算法 关键词:分布式系统;形式化方法;模块化;证据;验证 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey},in:第38届ACM分布式计算原理研讨会论文集,PODC’19,加拿大安大略省多伦多,2019年7月29日至8月2日。纽约州纽约市:计算机协会(ACM)。306(2019年;Zbl 07298691) 全文: 内政部