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

傅育熙

  • 8浏览

  • 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

本学者其他成果

    同领域成果