马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 应用的pi演算、移动值、新名称和安全通信。 （英语） Zbl 1426.68037号 美国临床医学杂志 65，第1号，第1条，41页（2018年）.MSC公司：68号30 68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，J.ACM 65，第1号，第1条，41页（2018年；Zbl 1426.68037） 全文： 内政部 arXiv公司
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·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 1126.68382号 David Schmidt（编辑），《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。计算机科学课堂讲稿2986，340-354（2004）。MSC公司：68第25页 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Lect。注释计算。科学。29863340-354（2004年；兹比尔1126.68382） 全文： 内政部