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

傅育熙

  • 19浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 99下载

  • 0评论

  • 引用

期刊论文

The Ground Congruence for Chi Calculus*

傅育熙Yuxi Fu** Zhenrong Yang

FST TCS 2000, Lecture Notes in Computer Science 1974, 385-396, 2000.,-0001,():

URL:

摘要/描述

The definition of open bisimilarity on the χ-processes does not give rise to a sensible relation on the χ-processes with the mismatch operator. The paper proposes ground open congruence as a principal open congruence on the χ-processes with the mismatch operator. Thealgebraic properties of the ground congruence is studied. The paper also takes a close look at barbed congruence. This relation is similar to the ground congruence. The precise relationship between the two is worked out. It is pointed out that the sound and complete system for the ground congruence can be obtained by removing one tau law from the complete system for the barbed congruence.

关键词:

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

我要评论

全部评论 0

本学者其他成果

    同领域成果