浙江省自然科学基金(Y105272)
- 作品数:3 被引量:0H指数:0
- 相关作者:钟发荣黄银强王建更多>>
- 相关机构:浙江师范大学更多>>
- 发文基金:浙江省自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 非对称_(χ-)演算的符号互模拟验证算法
- 2006年
- 非对称χ-演算是一种移动计算模型。文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解。并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础。
- 黄银强钟发荣
- 关键词:进程代数符号互模拟符号迁移图
- 非对称带不等算子的χ~≠-演算(英文)
- 2006年
- 文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.
- 钟发荣
- 关键词:互模拟公理化
- 关于D_∞的一个基本投射不等式
- 2008年
- 该文给出D∞的一个基本投射不等式.它在文[1]证明D∞是一个外延λ-模型时的地位是重要的,但文[1]将它误认为一个等式的多次应用.
- 王建
- 非对称X-演算的符号互模拟验证算法
- 非对称X-演算是一种移动计算模型。文介绍非对称X-演算的语法和符号操作语义,给出非对称X-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解。并证明算法正确性,这在一定程度上为今后的自动机验证提供...
- 黄银强钟发荣
- 关键词:进程代数符号互模拟符号迁移图
- 文献传递