安德鲁·戈登。 关于安全性和移动性的标称结石的说明。 （英语） Zbl 1007.68507号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 262-330 (2001). 摘要：将名义计算（包括动态名称生成的计算形式）应用于编程、指定和验证安全计算和移动计算的问题非常有趣。这些注释介绍了三种标称演算——π演算、spi演算和环境演算。我们描述了一些典型的技术，并调查了相关工作。关于整个系列，请参见[Zbl 0974.00025号]. 引用于6文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68第25页 数据加密（计算机科学方面） PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}，莱克特。注释计算。科学。2171、262--330（2001年；Zbl 1007.68507） 全文： 链接