传值系统的互模拟与谓词等式系

• 作者: 林惠民
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 传值进程 互模拟 谓词等式系
• 年，卷（期）: 1998,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 97-102
• 页数: 6页
• 分类号: TP301
• 字数: 3508字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.02.001

摘要

本文引入描述传值并发系统的新模型"带赋值符号迁移图(STGA)".STGA推广了Hen-nessy和Lin提出的"符号迁移图"的概念,允许迁移上带有赋值,从而能将更大的一类传值系统表示为有穷状态图.STGA的另一优点是在并行运算下封闭.文中给出了STGA的操作语义,在此基础上定义了STGA的互模拟等价关系.为了刻划STGA的互模拟,以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点,并设计了一个算法将STGA的互模拟归结为谓词等式系的最大不动点.

作者信息

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