Translating (-Calculus into Action Calculus
γ演算到Action演算的转换

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 g-calculus (a computational calculus for higher-order concurrent programming) in its setting. First, a concrete action calculus AC(Kg) is defined. Then the formal compositional translation of the g-calculus into AC(Kg) is presented. Finally, upon definitions of the observability, the weak barbed bisimularity as well as the weak barbed congruence for AC(Kg), it is proved that such translation preserves the weak behavioural equivalence of the g-calculus with the p-calculus as intermediate. This work not only shows the expressiveness of action calculi, but also provides precondition for uniting and comparing g-calculus with other concurrent models under the theory of action calculi.