| STGA的变种及其互模拟验证 |
| |
| 引用本文： | 李舟军,陈火旺,钟广军,王兵山.STGA的变种及其互模拟验证[J].计算机学报,2000,23(4):345-355. |
| |
| 作者姓名： | 李舟军 陈火旺 钟广军 王兵山 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划项目!（863－306－ZT05－06－1），国家自然科学基金!（69873045） |
| |
| 摘 要： | 为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互模拟等价和观察同余的验证问题，该文首先引入了ＳＴＧＡ的一个变种，它与原模型的不同之处在于将符号迁移上赋值和符号动作的执行次序颠倒，因而可定义些种ＳＴＧＡ结果间的符号双迁移关系．文中提出了从正
|
| 关 键 词： | 传值进程 符号迁移图 互模拟 算法 STGA |
| 修稿时间： | 1998-07-06 |
A Variant of STGA and Its Bisimulation Checking |
| |
| LI ZhouJun,CHEN HuoWang,ZHONG GuangJun,WANG BingShan.A Variant of STGA and Its Bisimulation Checking[J].Chinese Journal of Computers,2000,23(4):345-355. |
| |
| Authors: | LI ZhouJun CHEN HuoWang ZHONG GuangJun WANG BingShan |
| |
| Abstract: | |
| |
| Keywords: | value-passing process symbolic transition graph symbolic transition graph with assignment bisimulation predicate equation system |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
