西蒙·蒂尼 合成非干涉特性的规则格式。 （英语） Zbl 1072.68073号 J.日志。阿尔盖布。程序。 60-61, 353-400 (2004).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Tini｝，J.日志。阿尔盖布。程序。60-61353-400（2004年；兹bl 1072.68073） 全文： 内政部
里卡多·福卡迪；罗伯托·戈里埃里；拉诺特、拉格罗；安德烈亚·马焦洛·谢蒂尼；法比奥·马蒂内利；西蒙·蒂尼；恩里科·特隆西 网络隐私定时攻击的正式模型。 （英语） Zbl 1268.68036号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高阶语言和类型研讨会论文集，意大利乌迪内，2001年11月19日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，229-243（2002）。MSC公司：68英里11 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，《电子》。注释Theor。计算。科学。62、229--243（2002年；Zbl 1268.68036） 全文： 内政部
拉诺特、拉格罗；安德烈亚·马焦洛·谢蒂尼；西蒙·蒂尼 时间自动机中的并发性。 （英语） Zbl 0999.68135号 Freivalds，Rásiņsh（编辑），《计算理论基础》。2001年8月22日至24日，拉脱维亚里加，FCT，第13届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2138, 240-251 (2001).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，Lect。注释计算。科学。2138240-251（2001；Zbl 0999.68135） 全文： 链接