欢迎访问中国科学院大学学报，今天是
RSS English
具有中断算子进程的语义动作精化的操作语义(英文)
袁红, 吴尽昭
Operational Semantics Modelling SemanticAction Refinement for Processes with Interrupt
YUAN Hong, WU Jin-Zhao
中国科学院大学学报 . 2004, (4): 501 -511 .  DOI: 10.7523/j.issn.2095-6134.2004.4.012

首页 | 期刊介绍 | 编委会 | 投稿指南 | 期刊浏览 | 期刊订阅 | 联系我们

版权所有 © 《中国科学院大学学报》编辑部

本系统由北京玛格泰克科技发展有限公司设计开发

技术支持：support@magtech.com.cn

访问统计

总访问量： 今日访问： 当前在线：

联系我们

通讯地址：北京玉泉路19号（甲）中国科学院大学科研楼410

联系电话:（010）88256013