Bisimulation Research on C Model Embedded with Computable Function

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. 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

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:

TP 301.6

JIANG Meng-Zhi-1, 2 , ZHAO Feng-Jing-2. Bisimulation Research on C Model Embedded with Computable Function[J]. Journal of Shanghai Jiaotong University, 2012, 46(04): 620-623.

[1]	YANG Fei*(杨非), HUANG Hao (黄浩). A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(3): 273-280.
[2]	XU Xian1*(徐贤), LONG Huan2 (龙环). A Logical Characterization for Linear Higher-Order Processes [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 185-194.
[3]	YIN Qiang* (尹强), LONG Huan (龙环). Process Passing Calculus, Revisited [J]. Journal of shanghai Jiaotong University (Science), 2013, 18(1): 29-36.

Bisimulation Research on C Model Embedded with Computable Function

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 3

Recommended Articles

Metrics

Comments