On the interactive power of higher-order processes extended with parameterization

摘要

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.