Search the dblp DataBase

Publications of Author

1. Farong Zhong
   The Early and Late Congruences for Asymmetric chi^!=-Calculus. [Citation Graph (0, 0)][DBLP]
   CIS, 2004, pp:371-378 [Conf]
   
2. Farong Zhong, Yuxi Fu, Xiaoju Dong
   Bisimulation Congruence for Asymmetric chi ^ e -Calculus. [Citation Graph (0, 0)][DBLP]
   ISPDC, 2006, pp:173-184 [Conf]
   
3. Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu
   A Generic Model for Analyzing Security Protocols. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2005, pp:119-128 [Conf]
   
4. Huaiguang Wu, Farong Zhong
   A Study ofWeb Services Transactions Based on Real-time pi Calculus. [Citation Graph (0, 0)][DBLP]
   SKG, 2006, pp:90- [Conf]
   
5. 
   A Dynamic Compensation Mechanism for Web Transactions. [Citation Graph (, )][DBLP]
   
   
6. 
   A Tree-Based Method of Web Service Composition. [Citation Graph (, )][DBLP]