To search, Click below search items.


All Published Papers Search Service


Transformation from Seal Calculus to Mobile Ambient Calculus


Zhang Jing†, Zhang Li-Cui, Guo De-Gui


Vol. 6  No. 5  pp. 179-184


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.


Seal calculus, Mobile ambient calculus, process communication, mobile computation