博迪，恰拉;皮耶保罗·德加诺;吉安·路易吉，法拉利;盖列塔，莱特里奥 物联网系统中工作的安全指标。 （英语） Zbl 1440.68017号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12065, 233-255 (2020).MSC公司：68英里11 68平方米25 68问题55 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。12065，233--255（2020；Zbl 1440.68017） 全文： 内政部 链接
马西莫·巴托莱蒂;皮耶保罗·德加诺;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 Petri网和线性逻辑中的借方和贷方。 （英语） Zbl 1321.68356号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，135-159（2015）。MSC公司：68问题85 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，Lect。注释计算。科学。9200、135——159（2015年；Zbl 1321.68356） 全文： 内政部 链接