Action演算中动作内部数据流分析方法及其实现

金英, 金成植 , 郑爽

Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi

JIN Ying， JIN Cheng-zhi，ZHENG Shuang

吉林大学学报(理学版) . 2003, (01): 54 -58 .