文献类型：会议论文

英文题名：On the Expressiveness of Parameterization in Process-Passing

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

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

会议论文集：10th International Workshop on Web Services and Formal Methods (WS-FM) - Formal Aspects of Service-Oriented and Cloud Computing

会议日期：AUG 28-29, 2013

会议地点：Beijing, PEOPLES R CHINA

语种：英文

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

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