A Formal Description Method for Aspect-Oriented Statechart Based on CSP

Bin Wang, Chunhua Zhu, Jinfang Sheng. A Formal Description Method for Aspect-Oriented Statechart Based on CSP. In 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes. pages 750-753, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.