文献类型：期刊文献

英文题名：On bisimulation theory in linear higher-order π-calculus

作者：Xu, Xian[1,2]

机构：[1] Department of Computer Science and Technology, East China University of Science and Technology, 130 Mei Long Road, Shanghai [200237], China; [2] BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 800 Dong Chuan Road, Shanghai [200240], China

年份：2009

卷号：5800 LNCS

起止页码：244

外文期刊名：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

收录：EI(收录号：20094912525283)

语种：英文

外文关键词：Pathology

摘要：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 π-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. ? 2009 Springer-Verlag Berlin Heidelberg.