文献类型：期刊文献

英文题名：On the Interactive Power of Higher-order Processes Extended with Parameterization

作者：Zhang, Wenbo[1];Xu, Xian[2];Yin, Qiang[3];Long, Huan[1]

机构：[1]Shanghai Jiao Tong Univ, BASICS, Shanghai, Peoples R China;[2]East China Univ Sci & Technol, Shanghai, Peoples R China;[3]Alibaba Grp, Shanghai, Peoples R China

年份：2021

卷号：33

期号：2

起止页码：151

外文期刊名：FORMAL ASPECTS OF COMPUTING

收录：;EI(收录号：20205009604058);WOS:【SCI-EXPANDED(收录号:WOS:000599027400001)】；

基金：This work is supported by the NSF of China (61872142, 61772336, 62072299 and 61572318). The authors are grateful for the comments and suggestions from the anonymous referees and the members of the BASICS lab.

语种：英文

外文关键词：Parameterization; Interactive; Higher-order; Processes

摘要：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.