文献类型：期刊文献

英文题名：Parameterizing higher-order processes on names and processes***

作者：Xu, Xian[1]

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

年份：2019

卷号：53

期号：3-4

起止页码：153

外文期刊名：RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

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

基金：This work has been supported by NSF of China (61872142, 61772336, 61772200, 61572318, 61472239, 61261130589) and project ANR 12IS02001 `PACE', and partially supported by Shanghai Municipal NSF (17ZR1406900).

语种：英文

外文关键词：Parameterization; encoding; context bisimulation; normal bisimulation; higher-order; first-order; processes

摘要：Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). As is well-known, this extension is strict, meaning that higher-order processes equipped with parameterization are strictly more expressive than those without parameterization. This paper studies strictly higher-order processes (i.e., no name-passing) with two kinds of parameterization: one on names and the other on processes themselves. We present two main results. One is that in presence of parameterization, higher-order processes can interpret first-order (name-passing) processes in a quite elegant fashion, in contrast to the fact that higher-order processes without parameterization cannot encode first-order processes at all. We present two such encodings and analyze their properties in depth, particularly full abstraction. In the other result, we provide a simpler characterization of the standard context bisimilarity for higher-order processes with parameterization, in terms of the normal bisimilarity that stems from the well-known normal characterization for higher-order calculus. As a spinoff, we show that the bisimulation up-to context technique is sound in the higher-order setting with parameterization.