格雷姆·史密斯;克尔斯滕·温特 关联轨迹细化和线性化能力。 （英语） Zbl 1377.68151号 正式Asp。计算。 29，第6期，935-950（2017）. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：痕迹细化;线性化能力;正确性;并发 软件：罗丹;Z轴 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{K.Winter}，正式Asp。计算。29，第6号，935--950（2017；Zbl 1377.68151） 全文： 内政部 参考文献： [1] Abrial J-R（2010）《Event-B中的建模：系统和软件工程》，剑桥大学出版社，剑桥·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881 [2] Abadi M，Lamport L（1991）精炼映射的存在性。计算机科学理论82（2）：253-284·Zbl 0728.68083号 ·doi:10.1016/0304-3975（91）90224-P [3] Back R-JR（1990）精化演算，第二部分：并行和反应式程序。In：分布式系统模型的逐步细化、形式化、正确性。施普林格，第67-93页·Zbl 0728.68083号 [4] Bovet D，Cesati M（2005）《理解Linux内核》。塞巴斯托波尔O'Reilly&Associates [5] Bouajjani A、Emmi M、Enea C、Hamza J（2015）并发对象的可追踪细化检查。在ACM SIGPLAN-SIGACT编程语言原则研讨会上（POPL 2015）。ACM，第651-662页·Zbl 1345.68096号 [6] Back R-JR，von Wright J（1994），《动作系统的轨迹细化》。在：并发理论（CONCUR’94），LNCS第836卷。施普林格，第367-384页·Zbl 1209.68156号 [7] Derrick J，Smith G（2015）弱记忆模型的正确性标准框架。In:正式方法国际研讨会（FM 2015）。LNCS第9109卷。施普林格，第178-194页·兹比尔1427.68166 [8] Derrick J、Schellhorn G、Wehrheim H（2011），线性化的机械验证证明义务。ACM Trans程序语言系统33（1）：4:1-4:43·Zbl 1209.68156号 [9] FilipovićI，O'Hearn P，Rinetzky N，Yang H（2010）《并发对象的抽象》。《计算机科学》411（51）：4379-4398·Zbl 1209.68156号 ·doi:10.1016/j.tcs.2010.09.021 [10] Gorrieri，R。；Rensink，A.，《行动改进》，1047-1147（2001），阿姆斯特丹·Zbl 1035.68068号 ·doi:10.1016/B978-044482830-9/50034-5 [11] Guerraoui R，Ruppert E（2014）线性化并不总是一种安全属性。In：网络化系统。LNCS第8593卷。施普林格，第57-69页 [12] Gotsman A，Yang H（2011）《生命——保存原子性抽象》。收录于：自动机、语言和编程国际研讨会（ICALP 2011），LNCS第6756卷。施普林格，第453-465页·Zbl 1333.68198号 [13] Herlihy M，Shavit N（2008）多处理机编程的艺术。伯灵顿摩根考夫曼 [14] Hendler D、Shavit N、Yerushalmi L（2004）一种可扩展的无锁堆栈算法。摘自：ACM算法和架构并行研讨会（SPAA’04）。ACM出版社，第206-215页·Zbl 1233.68224号 [15] Herlihy M，Wing JM（1990）线性化：并发对象的正确条件。ACM Trans程序语言系统12（3）：463-492·数字对象标识代码：10.1145/78969.78972 [16] König D（1990）有限和无限图理论。柏林施普林格·Zbl 0695.05015号 [17] Spivey JM（1992）Z符号：参考手册。上鞍河普伦蒂斯·霍尔·Zbl 0777.68003号 [18] Schellhorn G、Wehrheim H、Derrick J（2014）并发数据结构线性化能力的可靠完整证明技术。ACM事务计算逻辑15（4）：31:1-31:37·Zbl 1354.68066号 [19] Treiber RK（1986）《系统编程：处理并行性》。技术报告RJ 5118，IBM Almaden Res.Ctr。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。