位置：成果数据库 > 获奖 > 获奖详情页
并发进程的代数理论及验证工具
  • 类别：中国科学院
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：获奖
  • 相关项目：消息传送进程的代数理论
作者： 林惠民|
同获奖项目
消息传送进程的代数理论
期刊论文 1 获奖 2 著作 1
同项目获奖
并发进程的代数理论及验证工具