您的位置： 专家智库 > >

许文

作品数：3 被引量：10H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 2篇进程代数
  • 2篇互模拟
  • 2篇Π-演算
  • 1篇计算机
  • 1篇符号迁移图
  • 1篇传值进程

机构

  • 3篇中国科学院软...

作者

  • 3篇许文
  • 2篇方海
  • 2篇林惠民

传媒

  • 1篇计算机研究与...
  • 1篇软件学报

年份

  • 1篇2001
  • 2篇2000
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
π-演算互模拟判定算法的优化和实现被引量：6
2001年
π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大大减少所用的时间和空间 ,并证明了优化算法的正确性 .
许文方海林惠民
关键词：进程代数Π-演算互模拟计算机
带赋值符号迁移图的局部优化算法被引量：3
2000年
带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ 上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ 的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ 上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响．文中介绍了ＳＴＧＡ 上的一组局部优化算法，证明其正确性，并通过应用实例说明对提高效率的作用．
方海许文林惠民
关键词：传值进程符号迁移图
π-演算互模拟验证系统的设计与实现
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文对π-演算中互模拟关系的自动验证算法和工具及相关应用进行了研究和探讨.该文中的主要工作有:1.互...
许文
关键词：进程代数Π-演算互模拟
文献传递
全选 清除 导出
共1页<1>
聚类工具0