文献类型：期刊文献

英文题名：On the Computation Power of Name Parameterization in Higher-order Processes

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

机构：[1]E China Univ Sci & Technol, Shanghai 200237, Peoples R China;[2]Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China

年份：2015

期号：189

起止页码：114

外文期刊名：ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

收录：WOS:【ESCI(收录号:WOS:000367339200009)】；

语种：英文

外文关键词：Parameterization; Computation; 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.