佛朗哥·巴巴内拉;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;弗拉迪米罗·萨松 太空器皿环境和工艺。 （英语） Zbl 1111.68011号 西奥。计算。科学。 373，编号1-2，41-69（2007）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，Theor。计算。科学。373，编号1--2，41-69（2007；Zbl 1111.68011） 全文： 内政部 链接
米歇尔·布格列西;西尔维娅·克拉法;马西莫·梅罗;弗拉迪米罗·萨松 封闭环境中的通信和移动性控制。 （英语） Zbl 1101.68943号 Inf.计算。 202，第1期，39-86（2005）。MSC公司：68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，《信息计算》。202，编号1，39--86（2005；Zbl 1101.68943） 全文： 内政部 链接
弗拉迪米罗·萨松;巴布亚州索波辛斯基 2类定位反应。 （英语） Zbl 1070.68107号 西奥。计算。科学。 333，第1-2号，297-327（2005）。MSC公司：68问题85 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{V.Sassone}和\textit{P.Sobocinn ski}，Theor。计算。科学。333，编号1-2297-327（2005年；兹bl 1070.68107） 全文： 内政部
佛朗哥·巴巴内拉;Dezani Ciancaglini，马里亚焦拉;伊万诺·萨尔沃;弗拉迪米罗·萨松 一种用于安全环境的类型推理算法。 （英语） Zbl 1268.68120号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，83-101（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，《电子》。注释Theor。计算。科学。62、83--101（2002年；Zbl 1268.68120） 全文： 内政部