文献类型：会议论文

英文题名：On Bisimulation Theory in Linear Higher-Order π-Calculus

作者：Xu, Xian

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

会议论文集：29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency

会议日期：JUN 23-27, 2008

会议地点：Xian, PEOPLES R CHINA

语种：英文

外文关键词：Bisimulation; Linear; Higher-order; pi-Calculus; Process calculi

摘要：Higher-order process calculi are an important branch of process model for its significance in both theory and practice. In this paper, we establish new results on bisimulation theory in linear higher-order pi-calculus. By exploiting the properties of linear higher-order processes, we work out two simpler variants than local bisimulation, which is an intuitive observational equivalence. We prove that they both coincide with local bisimilarity. The first variant, called local linear bisimulation, simplifies the matching of higher-order input and higher-order output based on the feature of checking equivalence with some special processes (in input or output) instead of general ones. The second variant, called local linear variant bisimulation, rewrites the first-order bound output clause in local bisimulation by harnessing the congruence properties.