| 2009 | ||
|---|---|---|
| 2 | Huibiao Zhu, Yongxin Zhao, Jifeng He: Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306 | |
| 2008 | ||
| 1 | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12 | |
| 1 | Libo Feng | [1] |
| 2 | Jifeng He | [1] [2] |
| 3 | Geguang Pu | [1] |
| 4 | Zheng Wang | [1] |
| 5 | Huibiao Zhu | [1] [2] |