文献类型：期刊文献

英文题名：On Context Bisimulation for Parameterized Higher-order Processes

作者：Xu, Xian[1]

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

年份：2013

卷号：131

期号：131

起止页码：37

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

收录：EI(收录号：20193107246535);WOS:【ESCI(收录号:WOS:000219942700006)】；

基金：The author acknowledges the support by the National Nature Science Foundation of China (61202023,61261130589,61173048), and the ANR project 12IS02001 PACE.

语种：英文

外文关键词：Context Bisimulation; Normal Bisimulation; Higher-order; Processes

摘要：This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation called normal bisimulation (viz. they are coincident), in which universal quantifiers are eliminated; whereas it is not the same with name parameterization. These results clarify further the bisimulation theory of higher-order processes, and also shed light on the essential distinction between the two kinds of parameterization.