Translating γ-Calculus into Action Calculus
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

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

    Action calculi is introduced as a mathematical framework for expressing different interactive behaviors, which shows the advantages in representing different interactive models with some common features. In this paper, action calculi is used to include γ-calculus (a computational calculus for higher-order concurrent programming) in its setting. First, a concrete action calculus AC(Kγ) is defined. Then the formal compositional translation of the γ-calculus into AC(Kγ) is presented. Finally, upon definitions of the observability, the weak barbed bisimularity as well as the weak barbed congruence for AC(Kγ), it is proved that such translation preserves the weak behavioural equivalence of the γ-calculus with the π-calculus as intermediate. This work not only shows the expressiveness of action calculi, but also provides precondition for uniting and comparing γ-calculus with other concurrent models under the theory of action calculi.

    Reference
    Related
    Cited by
Get Citation

金英,金成植.γ演算到Action演算的转换.软件学报,2003,14(1):16-22

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 29,2001
  • Revised:December 27,2001
  • 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