×

容错分布式算法安全性和有效性验证的一个简短反例性质。 (英语) Zbl 1380.68278号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。719-734 (2017).

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用