Uniformity of Bisimulation Equivalences of Chi Processes
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    The Chi calculus is obtained from the π calculus by unifying two classes of restricted names. The polyadic Chi calculus extends Chi calculus in that more than one pieces of information can be passed around in a communication. And the atomic Chi calculus is the subcalculus of the polyadic Chi calculus by removing the prefix combinatory. In this paper, the bisimulation equivalences for the atomic Chi calculus are investigated. The main result of this paper is that, in a certain sense, there is only one bisimulation equivalence on the atomic Chi processes.

    Reference
    Related
    Cited by
Get Citation

林敏,傅育熙.元Chi进程互模拟等价的一致性.软件学报,2001,12(12):1793-1800

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 03,1999
  • Revised:July 04,2000
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063