搜索到 篇“ 操作语义 “的相关文章

相关作者

钱俊彦
作品数：147被引量：215H指数：6
供职机构：桂林电子科技大学
研究主题：网络 并发系统 STATECHARTS 等价 CSP
赵岭忠
作品数：119被引量：136H指数：6
供职机构：桂林电子科技大学
研究主题：并发系统 网络 CSP 多智能体 基于ASP
何炎祥
作品数：311被引量：1,689H指数：19
供职机构：武汉大学
研究主题：分布式 AGENT 操作系统 情感分析 网格计算
古天龙
作品数：481被引量：1,391H指数：16
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
宋国新
作品数：73被引量：144H指数：7
供职机构：华东理工大学信息科学与工程学院计算机科学与工程系
研究主题：重写 形式化 入侵容忍 访问控制 操作语义