文献类型：期刊文献

英文题名：On the expressiveness of parameterization in process-passing

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

机构：[1] East China University of Science and Technology, Shanghai, China; [2] Shanghai Jiao Tong University, Shanghai, China

年份：2014

卷号：8379 LNCS

起止页码：147

外文期刊名：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

收录：EI(收录号：20142917951595)

语种：英文

摘要：This paper studies higher-order processes with the capability of parameterization (or abstraction), which has been proven to be an effective measure of lifting the mere process-passing in expressiveness. We contribute to the understanding of two kinds of parameterization: name-parameterization and process-parameterization, particularly in a second-order setting (no currying of parameterization). Firstly, we show that in the expressiveness hierarchy of process-parameterization, n-ary parameterization can faithfully translate (n+1)-ary parameterization in a linear setting where each received process can be used only once. Secondly, the two kinds of parameterization are compared. We prove that name-parameterization is more basic than process-parameterization, i.e. the former can encode the union of them. As a result, name-parameterization can strictly promote the expressiveness of mere process-passing. ? 2014 Science and Engineering Faculty.