嵌套谓词等式系与弱互模拟

• 作者: 林惠民
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 传值进程 互模拟 谓词等式系
• 年，卷（期）: 1999,（11）
• 页码范围: 1121-1126
• 页数: 6页
• 分类号: TP301
• 字数: 5159字
• 语种: 中文

摘要

带赋值符号迁移图是一般传值进程的语义模型,其强互模拟等价可以归结为谓词等式系的最大解.该文将这一结果推广到弱互模拟等价,为此,引入嵌套谓词等式系的概念,并提出算法,将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民	中国科学院软件研究所计算机科学开放研究实验室	11	360	5.0	11.0