您当前所在位置: 首页 > 学者

傅育熙

  • 23浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 107下载

  • 0评论

  • 引用

期刊论文

Bisimulation Congruence of Chi Calculus

傅育熙Yuxi Fu*

,-0001,():

URL:

摘要/描述

Chi calculus was proposed as a process calculus that has a uniform treatment of names. Preliminary properties of chi calculus have been examined in literature. In this paper a more systematic study of bisimilarities for chi processes is carried out. The notion of L-bisimilarity is introduced to give a possible classification of bisimilarities on chi processes. It is shown that the set of L-bisimilarities form a four element lattice and that well-known bisimilarities for chi processes fit into the lattice hierarchy. The four distinct L-bisimilarities give rise to four congruence relations. Complete axiomatization system is given for each of the four congruences.

【免责声明】以下全部内容由[傅育熙]上传于[2005年01月17日 23时17分05秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。

我要评论

全部评论 0

本学者其他成果

    同领域成果