×

兹马思-数学第一资源

容错分布式算法安全性和活性验证的一个简短反例性质。(英语) 兹布1380.68278
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。719-734(2017年)。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68度15度 分布式算法
PDF格式 BibTeX公司 XML 引用
全文: 内政部