Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement | |
Xiu-Li Sun ; Wen-Yin Zhang ; Jin-Zhao Wu | |
2015-03-30 ; 2015-03-30 | |
关键词 | action refinement real-time process algebra semantics timed event structure formal method |
中文摘要 | In this paper an event-based operational interleaving semantics is proposed for real-time processes, for which action refinement and a denotational true concurrency semantics are developed and defined in terms of timed event structures. The authors characterize the timed event traces that are generated by the operational semantics in a denotational way, and show that this operational semantics is consistent with the denotational semantics in the sense that they generate the same set of timed event traces, thereby eliminating the gap between the true concurrency and interleaving semantics.; This work was supported in part by the National Science Foundation of China (Grant No. 60373113) and the "Hundred-Talent Program" of Chinese Academy of Sciences |
语种 | 英语 |
出版者 | Journal of Computer Science and Technology |
其他责任者 | Chengdu Institute of Computer Applications, The Chinese Academy of Sciences,Chendu 610041,P.R. China ; Fakultät für Mathematik und Informatik, Universität Mannheim,Germany |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/530500/4712] |
专题 | 广西民族大学 |
推荐引用方式 GB/T 7714 | Xiu-Li Sun,Wen-Yin Zhang,Jin-Zhao Wu. Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement[J],2015, 2015. |
APA | Xiu-Li Sun,Wen-Yin Zhang,&Jin-Zhao Wu.(2015).Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement.. |
MLA | Xiu-Li Sun,et al."Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论