关于高阶过程中名称参数化的计算能力
On the Computation Power of Name Parameterization in Higher-order Processes
摘要：
参数化扩展了高阶过程的抽象能力（类似于微积分中的抽象能力），并且被认为能够增强表达能力。本文重点介绍了参数化的名称，即一个结构，映射一个名称到一个进程，在高阶设置。我们提供了两个结果，其计算能力。首先，名称参数化带来了一个完整的模型，在这个意义上，它可以表达一个基本的交互式模型与内置的递归函数。其次，我们比较了名称参数化与著名的π演算，并提供了两个编码之间。
英文摘要：
Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This paper focuses on the parameterization of names, i.e. a construct that maps a name to a process, in the higher-order setting. We provide two results concerning its computation capacity. First, name parameterization brings up a complete model, in the sense that it can express an elementary interactive model with built-in recursive functions. Second, we compare name parameterization with the well-known pi-calculus, and provide two encodings between them.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
