塞扎拉·奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里 PSync(同步):用于容错分布式算法的部分同步语言。 (英语) Zbl 1347.68036号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。400-415 (2016). 引用于10文件 MSC公司: 68甲15 编程语言理论 68米15 网络和计算机系统的可靠性、测试和容错 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 68吨15 定理证明(演绎、解析等)(MSC2010) 68宽15 分布式算法 关键词:自动验证;共识;容错分布式算法;部分同步;圆形模型 软件:PSync(同步);远端;埃尔朗;Nuprl公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Drágoi}等人,in:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。400-415(2016;Zbl 1347.68036) 全文: 内政部