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

傅育熙

  • 35浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 142下载

  • 0评论

  • 引用

期刊论文

Tau Laws for Pi Calculus

傅育熙Yuxi Fu* Zhenrong Yang

,-0001,():

URL:

摘要/描述

The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruences on finite pi processes. The weak bisimulation congruences are studied both in the absence and in the presence of the mismatch operator. Some interesting phenomena about the open congruences are revealed. Several new tau laws are discovered and their relationship is discussed. The contributions of the paper are mainly as follows: 1. It is proved that Milner's three tau laws fail to lift a complete system for the strong open congruence to a complete system for the weak open congruence in the absence of both the mismatch operator and the restriction operator. A fourth tau law is proposed to deal with the match operator under the prefix operation. It is shown that for this calculus a complete system for the strong open congruence extended with all the four tau laws is complete for the weak open congruence. 2. It is verified that the four tau laws are also enough for the weak open congruence of the picalculus without the mismatch operator. Two complete systems are given, one using distinctions and the other using a schematic law for the restriction operator. 3. It is pointed out that the standard definition of the weak open congruence gives rise to a bad equivalence relation in the presence of the mismatch operator. Two alternatives are proposed. These are the late open congruence and the early open congruence. Their difference is similar to that between the weak late congruence and the weak early congruence. Complete axiomatic systems for the two weak open congruences are given.

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

我要评论

全部评论 0

本学者其他成果

    同领域成果