进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。随着进程代数的发展,许多不同的互模拟概念相继被提出。为了描述进程间的近似等价,最近文献中提出了λ-互模拟的概念,并将其性质与度量ρ联系在一起,给出了ρ为超度量时λ-互模拟的模态逻辑特征。但由于ρ不为超度量时λ-互模拟一般不为等价关系,所以无法得到一个具有HML经典形式的逻辑特征。由于在复合下λ-互模拟不能保持同余性,文献中引入了CCS_θ,并初步讨论了λ-互模拟在CCS_θ中一些有用的性质。本文将就λ-互模拟模态逻辑特征的开问题和CCS_θ做一些研究。研究内容主要包括以下几个方面:(1)给出用于描述ρ不要求为超度量时λ-互模拟模态逻辑特征的新刻画形式。(2)引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的λ-互模拟的模态逻辑特征。(3)讨论CCS_θ所描述的系统的特征,引入允许差异程度的概念,给出新的进程代数CCS~θ,并初步讨论CCS~θ的一些性质。