课题基金 / 基金详情

传值并发系统的语义模型与验证工具

批准号：
69833020
项目类别：
重点项目
资助金额：
70.0 万元
负责人：
林惠民
依托单位：
中国科学院软件研究所
学科分类：
计算机科学的基础理论
结题年份：
2002
批准年份：
1998
项目状态：
已结题
项目参与者：
庄丽华、蒋颖、丁一强、许文、方海、陈义、陈靖
关键词：
并发性.传值进程.验证工具

项目摘要

结项摘要

林惠民的其他基金

相似基金

相关文献

中文摘要
传统的对付传值进程的途径是将其转换为单纯同步的基本进程，这种转化的核心步骤是把输入变量实例化为所有可能的值，因而会带来无穷性或状态爆炸的问题。本项目探讨传值进程的语义模型和模态逻辑，设计传值进程的验证算法，研制直接适用于传值进程的证明工具。研究的成果将成为进程代数理论走向实际应用的桥梁。
英文摘要
模型检测的理论、技术与工具
  • 批准号：
    60833001
  • 项目类别：
    重点项目
  • 资助金额：
    180.0万元
  • 批准年份：
    2008
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
软件基础研究中的若干前沿问题
  • 批准号：
    60223005
  • 项目类别：
    专项基金项目
  • 资助金额：
    100.0万元
  • 批准年份：
    2002
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
带递归π-演算的证明系统
  • 批准号：
    69683003
  • 项目类别：
    专项基金项目
  • 资助金额：
    11.0万元
  • 批准年份：
    1996
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
消息传送进程的代数理论
  • 批准号：
    69343003
  • 项目类别：
    专项基金项目
  • 资助金额：
    5.0万元
  • 批准年份：
    1993
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
国内基金
海外基金