%0 Journal Article
%T Action Refinement for Real-Time Concurrent Processes with Urgency
%A Guang-Ping Qin
%A Jin-Zhao Wu
%A <br>Guang-Ping
%A Qin
%A and
%A Jin-Zhao
%A Wu
%J 计算机科学技术学报
%D 2005
%I 
%X 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 tuned 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.
%K action refinement
%K timed event structure
%K real-time process algebra
%K urgency<br>程序设计语言
%K 语义学
%K 协同程序
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=7ABF481B300679FA5F837B62387C2E0D&yid=2DD7160C83D0ACED&vid=A04140E723CB732E&iid=E158A972A605785F&sid=C4BBAD7A2DCC89BC&eid=20C3B205768D55E0&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=26