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

摘要

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