非对称χ-演算的符号互模拟验证算法

• 作者: 钟发荣 黄银强
• 来源期刊: 微电子学与计算机
• 关键词: 进程代数 非对称χ-演算 符号互模拟 符号迁移图 验证算法
• 年，卷（期）: 2006,（9）
• 页码范围: 193-196
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.09.066

摘要

非对称χ-演算是一种移动计算模型.文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解.并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟发荣	浙江师范大学数理与信息工程学院	25	46	4.0	5.0
2	黄银强	浙江师范大学数理与信息工程学院	3	4	2.0	2.0