位置：成果数据库 > 著作 > 著作详情页
移动进程互模拟的公理系统
  • 所属机构名称：中国科学院软件研究所
  • 页码：1994年，P.1-5
  • 成果类型：著作
  • 出版社：理论..国防科大出版社
  • 语言：中文
  • 相关项目：消息传送进程的代数理论
作者： 林惠民|
同著作项目
消息传送进程的代数理论
期刊论文 1 获奖 2 著作 1
同项目著作