登录
语言: English  |  中文 
 
 
 

广西民族大学机构知识库 > → 广西民族大学 > → 信息科学与工程学院 > → 期刊论文 >


请用此识别号来引用或链接此条目: http://ir.calis.edu.cn/hdl/530500/4600

题名: Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt
其他题名: 具有中断算子进程的语义动作精化的操作语义
作者: Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610040, China
YUAN Hong
WU Jin-Zhao
关键词: action refinement
denotational semantics
operational semantics
transition system
发布日期: 2004-07-15
出版者: Journal of the Graduate School of the Chinese Academy of Science
出处: Journal of the Graduate School of the Chinese Academy of Science,2004, 21(4):501-511.
摘要: An operational semantics of LOTOS including an interrupt and a refinement operator is given as SOS rules such that it corresponds to the denotational semantics, i.e. the transition system derived from the denotational semantics is bisimilar to the transition system of the operational semantics.The idea behind the operational semantics is that the refined action is renamed with a fresh name and all involved choices are triggered
URI: http://ir.calis.edu.cn/hdl/530500/4600
所属专题:期刊论文

该作品中的文件:

条目 描述 大小格式
Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt.pdf327.66 kBAdobe PDF浏览/打开
900
推荐该条目     收藏这份文件
浏览统计

许可:参见CALIS IR运行政策。

在线人数:293     站点总访问量:8205236