马修·帕金森;理查德·博纳特;彼得·奥赫恩 非阻塞堆栈的模块化验证。 (英语) 兹比尔1295.68092 2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-575-4)。297-302 (2007).MSC公司:68号30 03B70号 68甲19 68吨15 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Parkinson}等人,摘自:第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'07,法国尼斯,2007年1月17-19日。纽约州纽约市:计算机协会(ACM)。297--302(2007;Zbl 1295.68092) 全文: 内政部
理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;马修·帕金森 分离逻辑中的权限核算。 (英语) Zbl 1369.68130号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。259-270 (2005).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Bornat}等人,in:第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,美国加利福尼亚州长滩,2005年1月12-14日。纽约州纽约市:计算机协会(ACM)。259-270(2005年;兹bl 1369.68130) 全文: 内政部