Transformation from Seal Calculus to Mobile Ambient Calculus


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)


Cite this paper

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