Method and Implementation of Data Flow Analysis for Ambient Calculus
Ambient演算的数据流分析方法及其实现

According to the definition of ambient calculus, we propose the concept of ambient syntactic structure tree, and introduce a data flow analysis method for ambient calculus based on the structural tree of ambient calculus and the implementation of the analysis algorithms. The present paper provides a way to further studying the features and application of ambient calculus.