Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi 0001. Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Software Engineering Notes, 37(4):1-8, 2012. [doi]
Abstract is missing.