%0 Journal Article
%T Barbed Congruence of Asymmetry and Mismatch
%A Xiao-Ju Dong
%A Yu-Xi Fu
%A <br>Xiao-Ju
%A Dong
%A and
%A Yu-Xi
%A Fu
%J 计算机科学技术学报
%D 2007
%I 
%X The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.
%K axiomatization
%K bisimulation
%K process calculus<br>微积分过程
%K 不对称
%K 失配
%K 同余方程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=CBCDFFE5AEBDB1BFD50A917220FFF447&yid=A732AF04DDA03BB3&vid=BC12EA701C895178&iid=E158A972A605785F&sid=E406B4E9A1BA9D8C&eid=57EA20F731155703&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=15