博迪，恰拉;法拉利，吉安·路易吉;科拉多·普里亚米 皮耶保罗·德加诺。 （英语） Zbl 1434.68011号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 1-6 (2015).MSC公司：68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。9465，1--6（2015；Zbl 1434.68011） 全文： DOI程序
博迪，恰拉;迪加诺，皮尔保罗;里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 安全检查技术：无干扰与控制流分析。 （英语） Zbl 1268.68121号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，211-228（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。理论注释。计算。科学。62211-228（2002年；Zbl 1268.68121） 全文： DOI程序
博迪，恰拉;迪加诺，皮尔保罗;里卡多·福卡迪;科拉多·普里亚米 进程代数中身份验证的基本体。 （英语） Zbl 1050.68103号 西奥。计算。科学。 283，第2期，271-304（2002）.MSC公司：68问题85 68米99 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。283，第2号，271--304（2002；Zbl 1050.68103） 全文： DOI程序