阿尔加莱、杰德;帕特里克·库索特 Ogre和Pythia:弱一致性模型的不变性证明方法。 (英语) Zbl 1380.68101号 Castagna,Giuseppe(ed.)等人,第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。3-18 (2017). 引用于7文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:并发;分布式并行编程;不变性;验证;弱一致性模型 引文:Zbl 0349.68006号;Zbl 0312.68011号 PDF格式BibTeX公司 XML格式引用 \textit{J.Algale}和\textit{P.Cousot},摘自:第44届ACM SIGPLAN编程语言原理研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。3-18(2017年;Zbl 1380.68101) 全文: 内政部 链接