杰拉德·布多尔;古斯塔沃·佩特里;伯纳德·塞尔佩特 放松并发编程语言的操作语义。 （英语） 兹比尔1459.68110 Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，19-33（2012）。MSC公司：68问题55 第68页第15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，19-33（2012；Zbl 1459.68110） 全文： arXiv公司 链接
杰拉德·布多尔 公平协作的多线程。 （英语） 兹比尔1151.68358 Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，272-286（2007）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}，莱克特。注释计算。科学。47032272-286（2007年；兹比尔1151.68358） 全文： 内政部
阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 键入反应式程序的无干扰。 （英语） Zbl 1119.68056号 J.日志。阿尔盖布。程序。 72，第2期，124-156（2007）.MSC公司：68N99型 68N17号 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Matos}等人，J.Log。阿尔盖布。程序。72，第2号，124--156（2007；Zbl 1119.68056） 全文： 内政部
罗伯特·阿马迪奥（Roberto M.Amadio）。;杰拉德·布多尔;弗雷德里克·布西诺;伊利亚州卡斯特拉尼 重新审视反应式并发编程。 （英语） Zbl 1316.68032号 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，49-60（2006）。MSC公司：第68页第15页 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio}等人，《电子》。注释Theor。计算。科学。162、49-60（2006年；Zbl 1316.68032） 全文： 内政部
Boudol，热拉尔 用于全局计算的反应式编程模型。 （英语） Zbl 1081.68528号 De Nicola，Rocco（编辑）等人，《协调模型和语言》。2004年2月24日至27日在意大利比萨举行的2004年第六届国际协调会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21044-X/pbk）。计算机科学课堂讲稿2949,1（2004）。MSC公司：64岁以下 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}，莱克特。注释计算。科学。2949，1（2004；Zbl 1081.68528） 全文： 内政部
杰拉德·布多尔 重新访问对象的递归记录语义。 （英语） Zbl 1088.68036号 J.功能。程序。 14，第3期，263-315（2004）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}，J.Funct（简写为：G.布多尔）。程序。14，第3号，263--315（2004；Zbl 1088.68036） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼 并发程序和线程系统不受干扰。 （英语） 兹比尔0997.68022 西奥。计算。科学。 281，编号1-2，109-130（2002）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani}，Theor。计算。科学。281，编号1--2，109-130（2002；Zbl 0997.68022） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼 并发程序不受干扰。 （英语） 兹比尔0986.68012 Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2076, 382-395 (2001).MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani}，莱克特。注释计算。科学。2076382--395（2001年；Zbl 0986.68012） 全文： 链接
杰拉德·布多尔 重访对象的递归记录语义（扩展抽象）。 （英语） Zbl 0977.68517号 David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2028, 269-283 (2001).MSC公司：68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}，莱克特。注释计算。科学。2028年，269--283（2001年；Zbl 0977.68517） 全文： 链接
杰拉德·布多尔;西尔瓦诺·达尔·齐利奥 可扩展对象的解释。 （英语） Zbl 0946.68024号 乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1684, 148-160 (1999).MSC公司：68甲19 68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{S.Dal-Zilio}，莱克特。注释计算。科学。1684148-160（1999年；Zbl 0946.68024）