This paper investigates the interactive power of the higher-order pi-calculus extended with parameterization. We study two kinds of parameterization: name parameterization and process parameterization. We show that each of these kinds of parameterization results in an interactively complete model, in the sense that they can express the elementary interactive model (named C ) with built-in recursive functions.

中文翻译：

---

论参数化扩展的高阶过程的交互能力

本文研究了参数化扩展的高阶 pi 演算的交互能力。我们研究了两种参数化：名称参数化和过程参数化。我们表明，这些参数化中的每一种都会产生一个交互式完整模型，因为它们可以表达基本的交互式模型（命名为 C ) 具有内置的递归函数。