Journal of Shanghai Jiaotong University ›› 2012, Vol. 46 ›› Issue (04): 620-623.

• Automation Technique, Computer Technology • Previous Articles     Next Articles

Bisimulation Research on C Model Embedded with Computable Function

 JIANG  Meng-Zhi-1, 2 , ZHAO  Feng-Jing-2   

  1. (1. Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. School of Electronic and Information, Shanghai DianJi University, Shanghai 200240, China)
  • Received:2011-08-03 Online:2012-04-28 Published:2012-04-28

Abstract:  In C model embedded with computable functions, there is no Summation operator. So this paper defined new concept of prime process and gave out the normalization process and finite axioms system. Then it provided a model with localization and polydic operators. With the help of these extra features, the Prefix, Replication and Choice operators can be defined conveniently.

Key words: computability model, bisimulation, preorder, absolute expressiveness

CLC Number: