| 2006 | ||
|---|---|---|
| 4 | EE | Farong Zhong, Yuxi Fu, Xiaoju Dong: Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184 |
| 3 | EE | Huaiguang Wu, Farong Zhong: A Study ofWeb Services Transactions Based on Real-time pi Calculus. SKG 2006: 90 |
| 2005 | ||
| 2 | EE | Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu: A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128 |
| 2004 | ||
| 1 | EE | Farong Zhong: The Early and Late Congruences for Asymmetric chi!=-Calculus. CIS 2004: 371-378 |
| 1 | Xiaoju Dong | [4] |
| 2 | Yuxi Fu | [2] [4] |
| 3 | Yonggen Gu | [2] |
| 4 | Huaiguang Wu | [3] |
| 5 | Han Zhu | [2] |