论文部分内容阅读
在进程演算领域，语义等价关系研究一直是作为基础性研究而从未间断过。其目标是为了描述规范与实现之间的相等关系，或者不同实现之间的相等关系。传统上，等价关系可以从测试等价的方式，模型无关的方式，或者操作刻画的方式来定义。在测试等价中，发散性的问题一直没有被解决，因为测试可能因为陷入无限的内部动作（即发散）而无法得到正确的结果。本文致力于规范发散性质，并由此定义考虑发散的等价关系并得到其在最基本的并发模型——CCS中的操作刻画，从而说明这些等价关系的一般性和重要性。本文还考察了测试等价在逻辑上的拓展，并得到了一些正面和负面结果。