伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑（完整版）关联基于状态和基于进程的并发。 （英语） Zbl 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｝，信息计算。207，第10号，1044--1077（2009；Zbl 1181.68168） 全文： DOI程序
凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克，普芬宁;大卫·沃克 指定CLF中并发计算的属性。 （英语） Zbl 1278.03069号 Schürmann，C.（编辑），第四届逻辑框架和元语言国际研讨会论文集（LFM 2004），英国科克，2004年7月5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记199，67-87（2008）。MSC公司：03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Watkins}等人，《电子》。理论注释。计算。科学。199、67--87（2007年；Zbl 1278.03069） 全文： DOI程序
伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 在具有依赖类型的重写逻辑的扩展中表示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） 全文： DOI程序