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

傅育熙

  • 21浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 65下载

  • 0评论

  • 引用

期刊论文

Open Bisimulations on Chi Processes*

傅育熙Yuxi Fu**

CONCUR'99, Lecture Notes in Computer Science 1664, 304-319, 1999.,-0001,():

URL:

摘要/描述

The paper carries out a systematic investigation into the axiomatization problem of the asymmetric chi calculus. As a crucial step in attacking the problem, an open style bisimilarity is defined for each of the eighteen L-bisimilarities and the two are proved to be equal. On top of the open bisimilarities, explicit definitions of the eighteen L-congruences are given, which suggest immediately possible axioms for the congruence relations. In addition to the axioms for strong bisimilarity, the paper proposes altogether twenty one additional axioms, three of which being the well-known tau laws and the other eighteen being new. These axioms help to lift a complete system for the strong bisimilarity to complete systems for the eighteen L-congruences.

关键词:

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

我要评论

全部评论 0

本学者其他成果

    同领域成果