指标互模拟的模态逻辑特征

摘要：

互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系，因而传统的逻辑特征形式不适用于此。本文提出了一种新的逻辑特征的形式用于描述指标互模拟在度量ρ不要求为超度量时的模态逻辑特征。

关键词： 指标互模拟 模态逻辑 进程代数

作者: 张晋津 朱朝晖

作者单位: 南京航空航天大学信息科学与技术学院，江苏南京210016

会议类型: 国内会议

会议名称: 2005中国计算机大会

会议地点: 武汉

会议语种:中文

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