您的位置： 专家智库 > >

庄丽华

作品数：1 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文科技成果

领域

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

主题

  • 1篇递归
  • 1篇移动进程演算
  • 1篇互模拟
  • 1篇Π-演算

机构

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

作者

  • 1篇林惠民
  • 1篇丁一强
  • 1篇庄丽华

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带递归π-演算的证明系统
林惠民丁一强庄丽华
Pi-演算是面向移动计算的形式系统。Pi-演算采用互模拟作为进程等价的准则。关于Pi-演算互模拟等价的证明系统是该领域中的重要研究课题。对带递归Pi-演算进程的行为观察等价能否建立可靠且完备的推理系统是国际计算机科学基础...
关键词：
关键词：移动进程演算互模拟
全选 清除 导出
共1页<1>
聚类工具0