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

傅育熙

  • 23浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 69下载

  • 0评论

  • 引用

期刊论文

Bisimulation Lattice of Chi Processes*

傅育熙Yuxi Fu**

ASIAN'98, Lecture Notes in Computer Science 1538, 245-262, 1998.,-0001,():

URL:

摘要/描述

Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. 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 forms 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 relations. The bisimulation lattice of asynchronous chi processes and that of asymmetric chi processes are also investigated. It turns out that the former consists of two elements while the latter twelve elements. Finally it is pointed out that the asynchronous asymmetric chi calculus has a bisimulation lattice of eight elements.

关键词:

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

我要评论

全部评论 0

本学者其他成果

    同领域成果