| 非对称X-演算的符号互模拟验证算法 |
| |
| 引用本文： | 黄银强,钟发荣.非对称X-演算的符号互模拟验证算法[J].微电子学与计算机,2006,23(9):193-196. |
| |
| 作者姓名： | 黄银强 钟发荣 |
| |
| 作者单位： | 浙江师范大学数理与信息工程学院,浙江金华321004 |
| |
| 基金项目： | 浙江省自然科学基金项目（Y105272） |
| |
| 摘 要： | 非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算法输出的谓词等式系，求解最大符号解。并证明算法正确性．这在一定程度上为今后的自动机验证提供了理论基础。
|
| 关 键 词： | 进程代数 非对称X-演算 符号互模拟 符号迁移图 验证算法 |
| 文章编号： | 1000-7180（2006）09-0193-04 |
| 收稿时间： | 2006-04-28 |
Algorithm for the Verification of Symbolic Bisimulations In Asymmetric Chi-Calculus |
| |
| HUANG Yin-qiang, ZHONG Fa-rong.Algorithm for the Verification of Symbolic Bisimulations In Asymmetric Chi-Calculus[J].Microelectronics & Computer,2006,23(9):193-196. |
| |
| Authors: | HUANG Yin-qiang ZHONG Fa-rong |
| |
| Affiliation: | College of Mathematics,Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004 China |
| |
| Abstract: | The asymmetric Chi-calculus is a mobile computing model. This paper introduces the syntax and the symbolic operational semantics of the asymmetric Chi-calculus. Then the algorithm for the verification of symbolic bisimulations is presented which computes bisimulations for finite state symbolic transition graphs, by the greatest solutions of predicate equation systems. And the correctness of this algorithm is also given. |
| |
| Keywords: | Process algebra Asymmetric chi calculus Symbolic bisimulations Symbolic transition graph Verification algorithm |
| 本文献已被 CNKI 维普 等数据库收录！ |
