%0 Journal Article
%T Towards a Theory of Bisimulation for the Higher-Order Process Calculi
%A Yong-Jian Li
%A Xin-Xin Liu
%A <br>Yong-JianLi
%A Xin-XinLiu
%J 计算机科学技术学报
%D 2004
%I 
%X In this paper, a labelled transition semantics for higher-order process calculi is studied. The labelled transition semantics is relatively clean and simple, and corresponding bisimulation equivalence can be easily formulated based on it. And the congruence properties of the bisimulation equivalence can be proved easily, To show the correspondence between the proposed semantics and the well-established ones, the bisimulation is characterized as a version of barbed equivalence and a version of context bisimulation.
%K higher-order process
%K labelled transition semantics
%K barbed bisimulation
%K context-bisimulation<br>高次处理
%K 标签转换
%K 等效性
%K CCS
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=16A1A0D0E8AE3919AF1A8E48F62D029D&yid=D0E58B75BFD8E51C&vid=2A8D03AD8076A2E3&iid=38B194292C032A66&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=18