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

摘要：

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

关键词： 进程代数 非对称χ-演算 符号互模拟 验证算法 符号迁移图 移动计算模型

作者: 黄银强 钟发荣

作者单位: 浙江师范大学数理与信息工程学院,浙江,金华,321004

会议类型: 国内会议

会议名称: 2006年全国开放式分布与并行计算学术会议

会议地点: 西安

会议语种:中文

页码: 193-196

在线出版日期: 2006-10-19（万方平台首次上网日期，不代表论文的发表时间）