刘映
【姓名】 刘映
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 并发程序设计语言,操作语义,进程,形式语义,并行系统,定义,指称语义,语义解释,不确定性问题,偏序关系,踪迹树,不动点,通讯方式,转换函数,子命令,语义学,语义域,多计算机系统,有穷自动机,域理论,
【工作单位】 华北计算技术研究所
【曾工作单位】 华北计算技术研究所;
【所在地域】 黑龙江
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 0 0 73
中国期刊全文数据库    共找到1篇
[1]屈延文;龚明;卢松;刘映;修鉴;.并行系统与并发程序设计语言的形式语义[J]计算机科学.1986,(06)
更多