袁红
【姓名】 袁红
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 操作语义,指称语义,传输系统,算子,英文,语义,Action,LOTOS,进程代数,Bundle,语义定义,成都,Addin,重新命名,Domain,Transformation,Transition...
【工作单位】 中国科学院成都计算机应用研究所
【曾工作单位】 中国科学院成都计算机应用研究所;
【所在地域】 成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 1 0 33
中国期刊全文数据库    共找到1篇
[1]袁红,吴尽昭.具有中断算子进程的语义动作精化的操作语义(英文)[J]中国科学院研究生院学报.2004,(04)
更多