论文部分内容阅读
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。最后，本文利用余代数的可观察部分概念，把弱不变量定义推广到一般余代数上，并且证明了只要选择合适的观察者，余代数中弱不变量定义和LTS中弱不变量定义是一致的。