杰拉德·布多尔 在高阶并发命令式语言中键入终止。 （英语） Zbl 1213.68159号 Inf.计算。 208，第6期，716-736（2010）.MSC公司：68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛G.Boudol｝，信息计算。208，第6号，716--736（2010；Zbl 1213.68159） 全文： 内政部
阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 键入反应式程序的无干扰。 （英语） 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）。;杰拉德·布多尔;弗雷德里克·布西诺;伊利亚州卡斯特拉尼 重新访问了反应式并发编程。 （英语） 兹比尔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） 全文： 内政部
G.布多尔。;卡斯特拉尼，I。 并发性和原子性。 （英语） Zbl 0678.68078号 西奥。计算。科学。 59，编号1-2，25-84（1988）. 审核人：J.-J.Ch.梅耶 MSC公司：68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani}，Theor。计算。科学。59，编号1--2，25-84（1988；Zbl 0678.68078） 全文： 内政部 链接