Parameterized Bisimulation Infinite Evolution Mechanism

摘要：

qIn this paper, we focus on the infinite evolution of the parameterized bisimulation in order to discuss the dy namic characterization of programs. We propose parame terized limit bisimulation and parameterized bisimulation limit which are useful for understanding and analyzing of infinite evolution of concurrent programs. Some special parameterized limit bisimulations are introduced and some topological properties are proved.

关键词： infinite evolution parameterized limit bisimulation parameterized bisimulation limit process calculus

作者: Yanfang Ma Min Zhang Yixiang Chen

作者单位: Shanghai Key Laboratory of Trustworthy Computing East China Normal University, Shanghai, China 200062

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 299-300

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）