位置：立项数据库 > 立项详情页
带递归π-演算的证明系统
  • 项目名称：带递归π-演算的证明系统
  • 项目类别：专项基金项目
  • 批准号：69683003
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：林惠民
  • 依托单位：中国科学院软件研究所
  • 批准年度：1996
林惠民的项目
消息传送进程的代数理论
期刊论文 1 获奖 2 著作 1
传值并发系统的语义模型与验证工具
软件形式化方法
期刊论文 27 会议论文 49
软件形式化方法
期刊论文 36 会议论文 33 著作 2
程序模块理论研究
范型(Paradigm)统一化问题
软件基础研究中的若干前沿问题
期刊论文 12
模型检测的理论、技术与工具
期刊论文 5
中美欧软件基础研究研讨会
资助优秀实验室国际合作
理论计算机与软件基础研究中的前沿科学问题
程序设计语言基础的当前趋势--演算和博奕