| LTS中的弱不变量与限制乘积 |
| |
| 引用本文： | 刘晓会,樊磊.LTS中的弱不变量与限制乘积[J].计算机工程与科学,2007,29(11):134-136. |
| |
| 作者姓名： | 刘晓会 樊磊 |
| |
| 作者单位： | 首都师范大学数学科学学院,北京,100037;首都师范大学教育技术系,北京,100037 |
| |
| 基金项目： | 北京市教委科技发展计划项目 |
| |
| 摘 要： | 本文在文献1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
|
| 关 键 词： | 弱互模拟 弱不变量 抽象 迁移系统的限制乘积. |
| 文章编号： | 1007-130X（2007）11-0134-03 |
| 收稿时间： | 2007-03-29 |
| 修稿时间： | 2007-07-09 |
Weak Invariant and Restrict Product of LTS |
| |
| LIU Xiao-hui,FAN Lei.Weak Invariant and Restrict Product of LTS[J].Computer Engineering & Science,2007,29(11):134-136. |
| |
| Authors: | LIU Xiao-hui FAN Lei |
| |
| Abstract: | On the basis of references1,2], the paper gives the definition of weak invariant, and discusses its characteristics and the relations between invariant and weak invarlant. Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants. |
| |
| Keywords: | weak bisimulation weak invariant abstractions restrict product of transition system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
