基于抽象状态机的网格系统设计和分析
刘晖, 李明禄
Abstract State Machine Based System Design and Analysis for Grids
LIU Hui, LI Ming-lu
电子学报 . 2003, (S1): 2096 -2100 .