文献类型：会议论文

英文题名：Higher-order Processes with Parameterization over Names and Processes

作者：Xu, Xian[1]

机构：[1]East China Univ Sci & Technol, Shanghai, Peoples R China

会议论文集：23rd International Workshop on Expressiveness in Concurrency (EXPRESS) / 13th Workshop on Structural Operational Semantics (SOS)

会议日期：AUG 22, 2016

会议地点：Quebec City, CANADA

语种：英文

外文关键词：Parameterization; Context bisimulation; Higher-order; First-order; Processes

摘要：Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). This extension is strict, i.e., higher-order processes equipped with parameterization is computationally more powerful. This paper studies higher-order processes with two kinds of parameterization: one on names and the other on processes themselves. We present two results. One is that in presence of parameterization, higher-order processes can encode first-order (name-passing) processes in a quite neat fashion, in contrast to the fact that higher-order processes without parameterization cannot encode first-order processes at all. In the other result, we provide a simpler characterization of the (standard) context bisimulation for higher-order processes with parameterization, in terms of the normal bisimulation that stems from the well-known normal characterization for higher-order calculus. These two results demonstrate more essence of the parameterization method in the higher-order paradigm toward expressiveness and behavioural equivalence.