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

http://paper.ijcsns.org/07_book/200605/200605A27.pdf