消息传送进程的代数理论
批准号：
69343003
项目类别：
专项基金项目
资助金额：
5.0 万元
负责人：
林惠民
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
1996
批准年份：
1993
项目状态：
已结题
项目参与者：
王飓安、张健
项目成果
林惠民的其他基金
相似基金
相关文献
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI：
--
发表时间：
--
期刊：
计算机学报
影响因子：
--
作者：
[林惠民]
通讯作者：
林惠民
模型检测的理论、技术与工具
-
批准号：60833001
-
项目类别：重点项目
-
资助金额：180.0万元
-
批准年份：2008
-
负责人：林惠民
-
依托单位：
软件基础研究中的若干前沿问题
-
批准号：60223005
-
项目类别：专项基金项目
-
资助金额：100.0万元
-
批准年份：2002
-
负责人：林惠民
-
依托单位：
传值并发系统的语义模型与验证工具
-
批准号：69833020
-
项目类别：重点项目
-
资助金额：70.0万元
-
批准年份：1998
-
负责人：林惠民
-
依托单位：
带递归π-演算的证明系统
-
批准号：69683003
-
项目类别：专项基金项目
-
资助金额：11.0万元
-
批准年份：1996
-
负责人：林惠民
-
依托单位：
程序模块理论研究
-
批准号：68973018
-
项目类别：面上项目
-
资助金额：4.5万元
-
批准年份：1989
-
负责人：林惠民
-
依托单位：
范型(Paradigm)统一化问题
-
批准号：68783007
-
项目类别：专项基金项目
-
资助金额：3.0万元
-
批准年份：1987
-
负责人：林惠民
-
依托单位：
国内基金
海外基金