Transformation from Seal Calculus to Mobile Ambient Calculus

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… (More)

Topics

Cite this paper

@inproceedings{Jing2006TransformationFS, title={Transformation from Seal Calculus to Mobile Ambient Calculus}, author={Zhang Jing and Zhang Li-Cui}, year={2006} }