|
|
|
| Bisimulation Research on C Model Embedded with Computable Function |
| JIANG Meng-Zhi-1, 2 , ZHAO Feng-Jing-2 |
| (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) |
|
|
|
|
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.
|
|
Received: 03 August 2011
Published: 28 April 2012
|
|
|
|
|
|
|
|
|
