×

兹马思-数学第一资源

心理同步:用于容错分布式算法的部分同步语言。英语(英语) Zbl 1347.68036
Bodik,Rastislav(ed.)等人,《第43届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,第16届,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-3549-2)。400-415(2016年)。

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