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

相关作者

钱俊彦
作品数：148被引量：259H指数：6
供职机构：桂林电子科技大学
研究主题：网络 并发系统 STATECHARTS 等价 CSP
何炎祥
作品数：317被引量：1,747H指数：19
供职机构：武汉大学计算机学院
研究主题：分布式 AGENT 操作系统 情感分析 网格计算
赵岭忠
作品数：120被引量：138H指数：6
供职机构：桂林电子科技大学
研究主题：并发系统 网络 CSP 多智能体 基于ASP
宋国新
作品数：73被引量：144H指数：7
供职机构：华东理工大学信息科学与工程学院计算机科学与工程系
研究主题：重写 形式化 入侵容忍 访问控制 操作语义
郭峰
作品数：25被引量：31H指数：4
供职机构：北方工业大学
研究主题：PETRI网 结构化操作语义 进程代数 PETRI网模型 WEB服务描述