×

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).

MSC公司:

68甲15 编程语言理论
68米15 网络和计算机系统的可靠性、测试和容错
60年第68季度 规范和验证(程序逻辑、模型检查等)
68吨15 定理证明(演绎、解析等)(MSC2010)
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部