Ambient演算的数据流分析方法及其实现
Ambient연산적수거류분석방법급기실현
Method and Implementation of Data Flow Analysis for Ambient Calculus
저자의 최근 논문