QQ客服 官方微博 反馈留言

	Action Refinement for Real-Time Concurrent Processes with Urgency
	Guangping Qin ; Jinzhao Wu
	2015-03-18 ; 2015-03-18
关键词	Action refinement timed event structure real-time process algebra urgency
中文摘要	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.; Partially supported by the National Natural Science Foundation of China under Grant No.60373113
语种	英语
出版者	Electronic Notes in Theoretical Computer Science
其他责任者	Chengdu Institute of Computer Applications Chinese Academy of Science, Chengdu 610041, China ; Fakult¨at f¨ur Mathematik und Informatik Universit¨at Mannheim, D7, 27, 68131 Mannheim, Germany
内容类型	期刊论文
源URL	[http://ir.calis.edu.cn/hdl/530500/4624]
专题	广西民族大学
推荐引用方式 GB/T 7714	Guangping Qin,Jinzhao Wu. Action Refinement for Real-Time Concurrent Processes with Urgency[J],2015, 2015.
APA	Guangping Qin,&Jinzhao Wu.(2015).Action Refinement for Real-Time Concurrent Processes with Urgency..
MLA	Guangping Qin,et al."Action Refinement for Real-Time Concurrent Processes with Urgency".(2015).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。