伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑（完整版）关联基于状态和基于进程的并发。 （英语） 兹比尔1181.68168 Inf.计算。 207，第10号，1044-1077（2009）.MSC公司：68问题85 03B70号 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov}，Inf.Compute。207，第10号，1044--1077（2009；Zbl 1181.68168） 全文： 内政部
伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;蔡乔凯;克里斯托弗·沃尔斯塔德 破坏和修复公钥Kerberos。 （英语） Zbl 1147.68393号 Inf.计算。 206，编号2-4，402-424（2008）.MSC公司：68个M12 68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人，《信息计算》。206，编号2--4，402--424（2008；Zbl 1147.68393） 全文： 内政部
伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 （英语） Zbl 1115.68073号 高-订购符号。计算。 20，编号1-2，3-35（2007）.MSC公司：68第25页 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{M.-O.Stehr}，高-订购符号。计算。20，编号1--2，3--35（2007；Zbl 1115.68073） 全文： 内政部
伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑关联基于状态和基于进程的并发。 （英语） Zbl 1262.68136号 Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165145-176（2006）。MSC公司：68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov}，电子。注释Theor。计算。科学。165145--176（2006；Zbl 1262.68136） 全文： 内政部