马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 （英文） Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763--780（2015；Zbl 1330.68045） 全文： 内政部 arXiv公司
佩杰曼·阿塔;伊利亚州卡斯特拉尼 细粒度和粗粒度反应无干扰。 （英文） Zbl 1348.68155号 Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。《计算机科学讲义》8358159-179（2014）。MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Attar}和\textit{I.Castellani}，莱克特。注释计算。科学。8358159--179（2014年；Zbl 1348.68155） 全文： 内政部 哈尔
安娜·阿尔梅达，马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 键入反应式程序的无干扰。 （英文） 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） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼 并发程序和线程系统不受干扰。 （英文） Zbl 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） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼 并发程序不受干扰。 （英文） Zbl 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年；兹bl 0986.68012） 全文： 链接