The Name-Passing Calculus
The Name-Passing Calculus
复制标题
DOI：
--
复制
发表时间：
2015-08
期刊：
影响因子：
--
通讯作者：
Yuxi Fu;Han Zhu
中科院分区：
文献类型：
--
作者：
Yuxi Fu;Han Zhu
名字传递演算是移动的计算的基础模型。对这些模型的研究已经产生了丰富的结果，从相对表达到编程语用学。这些结果的多样性要求澄清和重组。本文采用与模型无关的方法对传名结石进行了研究，使之得到统一的处理和简化。本文提出的技术工具和结果构成了命名传递演算理论的基础。
Name-passing calculi are foundational models for mobile computing. Research into these models has produced a wealth of results ranging from relative expressiveness to programming pragmatics. The diversity of these results call for clarification and reorganization. This paper applies a model independent approach to the study of the name-passing calculi, leading to a uniform treatment and simplification. The technical tools and the results presented in the paper form the foundation for a theory of name-passing calculus.