| 基于可计算函数的C模型互模拟性质 |
| |
| 引用本文： | 姜梦稚,赵风景.基于可计算函数的C模型互模拟性质[J].上海交通大学学报,2012,46(4):620-623. |
| |
| 作者姓名： | 姜梦稚 赵风景 |
| |
| 作者单位： | (1.上海交通大学 计算机工程系， 上海 200240； 2.上海电机学院 电子信息学院， 上海 200240) |
| |
| 摘 要： | 针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了Prime Process概念，并给出进程范式化过程以及有限公理系统，研究在扩展C模型后的绝对表达能力.结果表明，在引入Localization和多元操作符后，该模型可以方便地定义出Prefix、Replication和Choice操作符.
|
| 关 键 词： | C模型 互模拟 偏序 绝对表达能力 |
| 收稿时间： | 2011-08-03 |
Bisimulation Research on C Model Embedded with Computable Function |
| |
| JIANG Meng-zhi,ZHAO Feng-jing.Bisimulation Research on C Model Embedded with Computable Function[J].Journal of Shanghai Jiaotong University,2012,46(4):620-623. |
| |
| Authors: | JIANG Meng-zhi ZHAO Feng-jing |
| |
| Institution: | (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. |
| |
| Keywords: | computability model bisimulation preorder absolute expressiveness |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《上海交通大学学报》浏览原始摘要信息 |
| 点击此处可从《上海交通大学学报》下载免费的PDF全文 |
