托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 （英语） Zbl 1395.68187号 J.日志。阿尔盖布。方法计划。 98, 1-25 (2018).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Dinsdale-Young}等人，J.Log。阿尔盖布。方法计划。98，1-25（2018；Zbl 1395.68187） 全文： 内政部 OA许可证
熊，页岩;佩德罗·达罗查·平托;Gian Ntzik;菲利普·加德纳 并发映射的抽象规范。 （英语） Zbl 1485.68078号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 964-990 (2017).MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Xiong}等人，Lect。注释计算。科学。10201、964--990（2017；Zbl 1485.68078） 全文： 内政部 链接
佩德罗·达罗查·平托;托马斯·丁斯代尔·扬;菲利普·加德纳 并发模块的模块规范中的步骤（受邀的教程论文）。 （英语） Zbl 1351.68188号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，3-18，仅电子版（2015）。MSC公司：68问题85 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.da Rocha Pinto}等人，《电子》。注释Theor。计算。科学。319、3-18（2015；Zbl 1351.68188） 全文： 内政部
菲利普·加德纳;杜鹃花拉德;舵手，马克;亚当·赖特 并发库的抽象局部推理：注意差距。 （英语） Zbl 1337.68069号 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，147-166，仅电子版（2014）。MSC公司：68号30 03B70号 68第05页 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，《电子》。注释Theor。计算。科学。308147--166（2014年；Zbl 1337.68069） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 （英语） Zbl 1200.68224号 Inf.计算。 208，第5期，474-499（2010）.MSC公司：68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《信息计算》。208，第5号，474--499（2010；Zbl 1200.68224） 全文： 内政部 链接
穆罕默德·拉扎;菲利普·加德纳 局部推理中的足迹。 （英语） Zbl 1139.68020号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962201-215（2008）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}和\textit{P.Gardner}，莱克特。注释计算。科学。4962，201-215（2008；Zbl 1139.68020） 全文： 内政部 arXiv公司
卢卡·卡德利;菲利普·加德纳;乔治·盖利 使用隐藏标签操作树。 （英语） 兹伯利1277.68116 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。MSC公司：第68季度55 68第05页 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝等人，电子。注释Theor。计算。科学。172177--201（2007；Zbl 1277.68116） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 （英语） Zbl 1277.68064号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。MSC公司：68第05页 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 （英语） Zbl 1137.03312号 Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，Lect。注释计算。科学。4807255-270（2007年；Zbl 1137.03312） 全文： 内政部 链接
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 （英语） Zbl 1114.03028号 Inf.计算。 205，第3期，263-310（2007）.MSC公司：03B70号 第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人，《信息计算》。205，第3号，263--310（2007；Zbl 1114.03028） 全文： 内政部 链接