LTS中的弱不变量与限制乘积

• 作者: 刘晓会 樊磊
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 弱互模拟 弱不变量 抽象 迁移系统的限制乘积.
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 研究与实现
• 页码范围: 134-136
• 页数: 3页
• 分类号: TP301.2
• 字数: 2806字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.11.040

摘要

本文在文献[1,2]的框架下给出了弱不变量的定义,讨论了其性质及与不变量之间的关系.此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	樊磊	首都师范大学教育技术系	29	138	6.0	11.0
2	刘晓会	首都师范大学数学科学学院	1	1	1.0	1.0