弱不变量相关论文
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变......
余代数上的不变量在理论计算机科学中占有十分重要的地位，本文借助文献[1]的思想建立弱不变量的定义，讨论了弱不变量的性质以及与不......
本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此......
