Action Refinement for Real-Time Concurrent Processes with Urgency

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:wsp1983
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Action refinement for real-time concurrent processes with urgent interactions is studied, where a partial-order setting, i.e., timed bundle event structures, is used as the system model and a real-time LOTOS-like process algebra is used as the specification language. It is shown that the proposed refinement approaches have the commonly expected properties:(1) the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions; (2) the timed extensions of pomset (partially ordered multiset) trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement; (3) the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo-based denotational semantics.
其他文献
师德建设作为师资队伍建设的核心部分,是教育界的永恒话题,随着社会的发展,师德建设越来越受到各界的关注.当前教师师德的总体现状是好的,但是,教师队伍中也的确存在师德问题
The adsorption behaviors of phenol and aniline on nonpolar macroreticular adsorbents( NDA100 and Amberlite XAD4) were investigated in single or binary batch sys
用Gaussian03W程序在B3LYP/6-31G*和HF/6-31G*水平上对二苯二硫(DPDS)和二苄二硫(DBDS)的分子几何构型、电子结构、分子轨道指数及与铁原子簇的相互作用等进行了理论计算.用
The in vitro inhibitory effect of trihydroxybenzoic acid dimer(TAD) extracted from Trapabispinosd roxb on HeLa cell growth was investigated via the MTT[3-(4,5-d
The purpose of this paper is to extend some fundamental spectral properties of regular Sturm-Liouville problems to special kind discontinuous boundary value pro
The title complex [La(betaine)2(H2O)6Fe(CN)6](2H2O (betaine = (CH3)3NCH2CO2) has been synthesized and characterized by X-ray single-crystal structure analysis.
AIM: To evaluate the efficacy of amantadine plus interferonalpha and ribavirin in non-responder patients with chronic hepatitis C.METHODS: Twenty-six non-respon
The morphology and toxicity of Pseudo-nitzschia strain PP0201-01, isolated near the estuary of Changjiang (Yangtze) River in Year 2002 and tentatively identifie