布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 (英语) Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75,第1期,第3-51页(2008年).MSC公司:68个M12 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人,J.Log。阿尔盖布。程序。75,第1、3--51号(2008;Zbl 1135.68007) 全文: 内政部
塞德里克·Fornet;乔治·戈蒂尔 异步计算的等价层次。 (英语) Zbl 1066.68088号 J.日志。阿尔盖布。程序。 63,第1期,131-173(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}和\textit{G.Gonthier},J.Log。阿尔盖布。程序。63,第1号,131--173(2005;Zbl 1066.68088) 全文: 内政部
塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 连接演算中的继承。 (英语) Zbl 1035.03011号 J.日志。阿尔盖布。程序。 57,第1-2期,23-69(2003).MSC公司:03B70号 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人,J.Log。阿尔盖布。程序。57、编号1--2、23-69(2003;Zbl 1035.03011) 全文: 内政部