To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Transformation from Seal Calculus to Mobile Ambient Calculus |
|
Author |
Zhang Jing†, Zhang Li-Cui, Guo De-Gui |
| Citation |
Vol. 6 No. 5 pp. 179-184 |
|
Abstract |
Based on analyzing syntax structrure and semantics reduction system of Seal calculus and Mobile Ambient calculus, we investigate three equivalence relations of the two calculus : communication’s equivalence, communication primitives’s equivalence and code movement equivalence. Then we show the structural transformation technology from Seal to Mobile Ambient. Our work proposes a systemitical method for analysising and comparing logical structure and expressive power of different formal systems, proves expressive power of Seal calculus. The results presented in this paper summarize our work on formal foundations of mobile languages. |
|
Keywords |
Seal calculus, Mobile ambient calculus, process communication, mobile computation |
|
URL |
