登录
语言: English  |  中文 
 
 
 

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


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

题名: Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement
作者: 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
Xiu-Li Sun
Wen-Yin Zhang
Jin-Zhao Wu
关键词: action refinement
real-time process algebra
semantics
timed event structure
formal method
发布日期: 2004
出版者: Journal of Computer Science and Technology
出处: Journal of Computer Science and Technology, 2004, Vol.19 (6), pp.828-839
摘要: 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.
URI: http://ir.calis.edu.cn/hdl/530500/4712
所属专题:期刊论文

该作品中的文件:

条目 描述 大小格式
Event-Based Operational Semantics and a Consistency Result for Real-Time Processes with Action Refinement.pdf424.43 kBAdobe PDF浏览/打开
988
推荐该条目     收藏这份文件
浏览统计

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

在线人数:177     站点总访问量:9428845