格雷姆·史密斯;克尔斯滕·温特;罗伯特·J·科尔文。 硬件弱内存模型的线性化。 (英文) Zbl 1451.68030号 正式Asp。计算。 32,第1期,第1-32页(2020年).MSC公司:2007年7月68日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}等人,正式Asp。计算。32,编号1,1--32(2020;兹bl 1451.68030) 全文: 内政部
伊恩·海斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 (英文) Zbl 1425.68293号 正式Asp。计算。 31,2号,133-163(2019).MSC公司:68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人,《形式语法》。计算。31,第2号,133--163(2019;Zbl 1425.68293) 全文: 内政部 arXiv公司
罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 为具有并发性的广谱语言设计语义模型。 (英文) Zbl 1375.68036号 正式Asp。计算。 29,第5号,853-875(2017).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}等人,正式Asp。计算。29,第5号,853--875(2017;Zbl 1375.68036) 全文: 内政部 arXiv公司
克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 在并发的正式方法中平衡表达能力。 (英文) Zbl 1343.68171号 正式Asp。计算。 27,第3期,475-497(2015).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人,正式Asp。计算。27,第3号,475--497(2015;Zbl 1343.68171) 全文: 内政部
罗伯特·J·科尔文。 基于类层次结构的面向对象概念的操作语义。 (英文) Zbl 1342.68057号 正式Asp。计算。 26,第3期,491-535(2014).MSC公司:68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin},正式Asp。计算。26,第3号,491--535(2014;Zbl 1342.68057) 全文: 内政部
林赛·格罗夫斯;罗伯特·科尔文 可扩展无锁堆栈算法的基于跟踪的推导。 (英文) Zbl 1165.68064号 正式Asp。计算。 21,第1-2号,187-223(2009).MSC公司:68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Groves}和\textit{R.Colvin},正式Asp。计算。21,编号1--2187-223(2009;Zbl 1165.68064) 全文: 内政部